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