vmc_hold_ext
vm_page_t *vmc_hold_ext(vm_client_t *, uintptr_t, int, int);
(vmm_page_t *)vmc_hold_ext(lease->vml_vmclient, gpa, prot, flags);
return (vmc_hold_ext(vmc, gpa, prot, VPF_DEFAULT));