1 #include <mach/vm_page_size.h> 2 #include <stdio.h> 3 4 int main(int argc __unused,char ** argv __unused)5main(int argc __unused, char **argv __unused) 6 { 7 /* 8 * This test should have been launched with the 4K pagesize flag. 9 * Verify that the page size globals were set. 10 */ 11 if (vm_page_shift != 12) { 12 fprintf(stderr, "Expected: vm_page_shift == 12. Actual: vm_page_shift == %d\n", vm_page_shift); 13 return 1; 14 } 15 if (vm_page_size != 4096) { 16 fprintf(stderr, "Expected: vm_page_size == 4096. Actual: vm_page_shift == %zu\n", vm_page_size); 17 return 1; 18 } 19 if (vm_page_mask != 4095) { 20 fprintf(stderr, "Expected: vm_page_mask == 4095. Actual: vm_page_mask == %zu\n", vm_page_mask); 21 return 1; 22 } 23 return 0; 24 } 25