Searched refs:VKI_MAX_PAGE_SIZE (Results 1 – 13 of 13) sorted by relevance
65 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
63 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
64 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
963 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
72 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
69 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT) macro
68 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
79 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
88 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
93 #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE macro
1499 (Int)VKI_PAGE_SIZE, (Int)VKI_MAX_PAGE_SIZE in print_preamble()1749 vg_assert(VKI_MAX_PAGE_SIZE == 4096 || VKI_MAX_PAGE_SIZE == 65536 in valgrind_main()1750 || VKI_MAX_PAGE_SIZE == 16384); in valgrind_main()1751 vg_assert(VKI_PAGE_SIZE <= VKI_MAX_PAGE_SIZE); in valgrind_main()1753 vg_assert(VKI_MAX_PAGE_SIZE == (1 << VKI_MAX_PAGE_SHIFT)); in valgrind_main()