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