Searched refs:VKI_MAX_PAGE_SHIFT (Results 1 – 13 of 13) sorted by relevance
64 #define VKI_MAX_PAGE_SHIFT 16 macro65 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)
71 #define VKI_MAX_PAGE_SHIFT 16 macro72 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)
68 #define VKI_MAX_PAGE_SHIFT 16 macro69 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)
62 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
63 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
962 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
67 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
78 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
87 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
92 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT macro
1753 vg_assert(VKI_MAX_PAGE_SIZE == (1 << VKI_MAX_PAGE_SHIFT)); in valgrind_main()3338 VKI_PAGE_SHIFT <= VKI_MAX_PAGE_SHIFT; VKI_PAGE_SHIFT++) in _start_in_C_linux()