Searched defs:VKI_MAX_PAGE_SIZE (Results 1 – 11 of 11) sorted by relevance
65 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
63 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
72 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
69 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
93 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
965 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
88 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
68 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
79 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
64 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro