Lines Matching defs:VKI_PAGE_SIZE
76 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT)77 #define VKI_PAGE_MASK (~(VKI_PAGE_SIZE-1))79 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE