Searched refs:protect_boot_range (Results 1 – 1 of 1) sorted by relevance
1689 protect_boot_range(uintptr_t low, uintptr_t high, int setaside) in protect_boot_range() function1868 protect_boot_range(KERNEL_TEXT, (uintptr_t)-1, 0); in startup_vm()1875 protect_boot_range(0, kernelbase, 1); in startup_vm()