Searched defs:VKI_PAGE_SIZE (Results 1 – 11 of 11) sorted by relevance
80 unsigned long VKI_PAGE_SIZE = 1UL << 12; variable82 unsigned long VKI_PAGE_SIZE = 1UL << 16; variable
48 unsigned long VKI_PAGE_SIZE = 1UL << 12; variable
61 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) macro
62 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) macro
63 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) macro
359 #define VKI_PAGE_SIZE PAGE_SIZE macro
66 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) macro
85 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) macro
76 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) macro
64 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) macro