vmm_gpte_is_mapped
bool vmm_gpte_is_mapped(const vmm_gpt_entry_t *, pfn_t *, uint_t *);
if (!vmm_gpte_is_mapped(ptep, &pfn, &prot)) {
if (vmm_gpte_is_mapped(leaf, &pfn, &prot)) {