Searched defs:VKI_MAX_PAGE_SHIFT (Results 1 – 11 of 11) sorted by relevance
64 #define VKI_MAX_PAGE_SHIFT 16 macro
71 #define VKI_MAX_PAGE_SHIFT 16 macro
63 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
68 #define VKI_MAX_PAGE_SHIFT 16 macro
62 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
959 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
86 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
78 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
67 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
87 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro