Searched refs:VKI_MAX_PAGE_SHIFT (Results 1 – 9 of 9) sorted by relevance
68 #define VKI_MAX_PAGE_SHIFT 16 macro69 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)
69 #define VKI_MAX_PAGE_SHIFT 16 macro70 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)
62 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
67 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
944 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
63 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
78 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
86 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
1670 vg_assert(VKI_MAX_PAGE_SIZE == (1 << VKI_MAX_PAGE_SHIFT)); in valgrind_main()2987 VKI_PAGE_SHIFT <= VKI_MAX_PAGE_SHIFT; VKI_PAGE_SHIFT++) in _start_in_C_linux()