Searched defs:VKI_PAGE_SHIFT (Results 1 – 7 of 7) sorted by relevance
46 unsigned long VKI_PAGE_SHIFT = 12; variable
60 #define VKI_PAGE_SHIFT 12 macro
339 #define VKI_PAGE_SHIFT PAGE_SHIFT macro
62 #define VKI_PAGE_SHIFT 12 macro
65 #define VKI_PAGE_SHIFT 12 macro
75 #define VKI_PAGE_SHIFT MIPS_PAGE_SHIFT macro
61 #define VKI_PAGE_SHIFT 12 macro