OpenGrok

Home	Sort by relevance Sort by last modified time

Searched defs:VKI_MAX_PAGE_SHIFT (Results 1 - 8 of 8) sorted by null

/external/valgrind/main/include/vki/
vki-amd64-linux.h	`62 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT`
vki-ppc32-linux.h	`68 #define VKI_MAX_PAGE_SHIFT 16 69 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) [all...]`
vki-ppc64-linux.h	`69 #define VKI_MAX_PAGE_SHIFT 16 70 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)`
vki-s390x-linux.h	`944 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT`
vki-x86-linux.h	`63 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT`
vki-arm-linux.h	`67 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT`
vki-mips32-linux.h	`78 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT [all...]`
vki-darwin.h	`86 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT`

Completed in 886 milliseconds