Symbol: do_active_paging
src/system/kernel/vm/vm_page.cpp
1397
return do_active_paging(pageStats);
src/system/kernel/vm/vm_page.cpp
2308
if (!do_active_paging(pageStats)) {