Symbol: free_cached_page
src/system/kernel/vm/vm_page.cpp
1904
if (free_cached_page(page, dontWait)) {
src/system/kernel/vm/vm_page.cpp
2929
if (!free_cached_page(&page, false)) {