Searched defs:VKI_PAGE_SHIFT (Results 1 – 9 of 9) sorted by relevance
47 unsigned long VKI_PAGE_SHIFT = 12; variable
61 #define VKI_PAGE_SHIFT 16 macro
60 #define VKI_PAGE_SHIFT 12 macro
62 #define VKI_PAGE_SHIFT 12 macro
345 #define VKI_PAGE_SHIFT PAGE_SHIFT macro
75 #define VKI_PAGE_SHIFT MIPS_PAGE_SHIFT macro
65 #define VKI_PAGE_SHIFT 12 macro
84 #define VKI_PAGE_SHIFT MIPS_PAGE_SHIFT macro
61 #define VKI_PAGE_SHIFT 12 macro