uvmfault_lookup
if (uvmfault_lookup(ufi, true) == false)
if (uvmfault_lookup(ufi, false) == false) {
if (!uvmfault_lookup(&ufi, false)) {