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