Lines Matching defs:VKI_PAGE_SIZE
12 /* On PPC, MIPS and ARM64 Linux VKI_PAGE_SIZE is a variable, not a macro. */
15 unsigned long VKI_PAGE_SIZE = 1UL << 12;
17 unsigned long VKI_PAGE_SIZE = 1UL << 16;
20 unsigned long VKI_PAGE_SIZE;
189 CHECK( ! VG_IS_PAGE_ALIGNED(VKI_PAGE_SIZE-1) );
190 CHECK( VG_IS_PAGE_ALIGNED(VKI_PAGE_SIZE ) );
191 CHECK( ! VG_IS_PAGE_ALIGNED(VKI_PAGE_SIZE+1) );
273 CHECK( 0 == VG_PGROUNDDN(VKI_PAGE_SIZE-1) );
274 CHECK( VKI_PAGE_SIZE == VG_PGROUNDDN(VKI_PAGE_SIZE ) );
275 CHECK( VKI_PAGE_SIZE == VG_PGROUNDDN(VKI_PAGE_SIZE+1) );
278 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(1) );
279 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(2) );
280 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(3) );
281 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(4) );
282 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(VKI_PAGE_SIZE-1) );
283 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(VKI_PAGE_SIZE ) );
284 CHECK( VKI_PAGE_SIZE*2 == VG_PGROUNDUP(VKI_PAGE_SIZE+1) );
492 VKI_PAGE_SIZE = sysconf(_SC_PAGESIZE);