Searched refs:vm_kernel_page_shift (Results 1 – 4 of 4) sorted by relevance
74 int vm_kernel_page_shift = 0; variable138 if (vm_kernel_page_shift == 0) { in mach_init_doit()141 vm_kernel_page_shift = COMM_PAGE_READ(uint8_t, KERNEL_PAGE_SHIFT); in mach_init_doit()143 vm_kernel_page_shift = I386_PGSHIFT; in mach_init_doit()146 vm_kernel_page_shift = COMM_PAGE_READ(uint8_t, KERNEL_PAGE_SHIFT); in mach_init_doit()148 vm_kernel_page_size = 1 << vm_kernel_page_shift; in mach_init_doit()161 vm_page_shift = vm_kernel_page_shift; in mach_init_doit()
100 if (vm_kernel_page_shift != 12 && strcmp(VM_KERNEL_PAGE_SHIFT_ENV, envp[i]) == 0) { in __libkernel_init()101 vm_kernel_page_shift = 12; in __libkernel_init()102 vm_kernel_page_size = 1 << vm_kernel_page_shift; in __libkernel_init()
28 verify_page_size(12, vm_kernel_page_shift, vm_kernel_page_size, vm_kernel_page_mask);
61 extern int vm_kernel_page_shift __OSX_AVAILABLE_STARTING(__MAC_10_9, __IPHONE_7_0);