uvmfault_lookup
if (uvmfault_lookup(ufi, write_locked) == FALSE) {
boolean_t uvmfault_lookup(struct uvm_faultinfo *, boolean_t);