Home | History | Annotate | Download | only in tests

Lines Matching defs:VKI_PAGE_SIZE

58 // On PPC/Linux VKI_PAGE_SIZE is a variable, not a macro.
60 unsigned long VKI_PAGE_SIZE = 1UL << 12;
164 CHECK( ! VG_IS_PAGE_ALIGNED(VKI_PAGE_SIZE-1) );
165 CHECK( VG_IS_PAGE_ALIGNED(VKI_PAGE_SIZE ) );
166 CHECK( ! VG_IS_PAGE_ALIGNED(VKI_PAGE_SIZE+1) );
248 CHECK( 0 == VG_PGROUNDDN(VKI_PAGE_SIZE-1) );
249 CHECK( VKI_PAGE_SIZE == VG_PGROUNDDN(VKI_PAGE_SIZE ) );
250 CHECK( VKI_PAGE_SIZE == VG_PGROUNDDN(VKI_PAGE_SIZE+1) );
253 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(1) );
254 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(2) );
255 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(3) );
256 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(4) );
257 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(VKI_PAGE_SIZE-1) );
258 CHECK( VKI_PAGE_SIZE == VG_PGROUNDUP(VKI_PAGE_SIZE ) );
259 CHECK( VKI_PAGE_SIZE*2 == VG_PGROUNDUP(VKI_PAGE_SIZE+1) );