Searched defs:VKI_PAGE_SHIFT (Results 1 – 8 of 8) sorted by relevance
47 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
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