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