Searched refs:vm_page_shift (Results 1 – 5 of 5) sorted by relevance
78 int vm_page_shift = 0; variable152 if (vm_page_shift == 0) { in mach_init_doit()154 vm_page_shift = COMM_PAGE_READ(uint8_t, USER_PAGE_SHIFT_64); in mach_init_doit()156 vm_page_shift = COMM_PAGE_READ(uint8_t, USER_PAGE_SHIFT_32); in mach_init_doit()159 vm_page_shift = COMM_PAGE_READ(uint8_t, USER_PAGE_SHIFT_64); in mach_init_doit()161 vm_page_shift = vm_kernel_page_shift; in mach_init_doit()164 vm_page_size = 1 << vm_page_shift; in mach_init_doit()
11 if (vm_page_shift != 12) { in main()12 fprintf(stderr, "Expected: vm_page_shift == 12. Actual: vm_page_shift == %d\n", vm_page_shift); in main()
44 extern int vm_page_shift;
150 #define PAGE_SHIFT vm_page_shift
90 #define PAGE_SHIFT vm_page_shift