Symbol: forbid_page_faults
headers/private/kernel/vm/vm.h
72
void forbid_page_faults();
src/system/kernel/vm/vm_page.cpp
1881
forbid_page_faults();