vmi_pagetable_lookup_extended