Lines Matching refs:l4e
778 l4_pgentry_t *l4e = map_domain_page(mfn); in p2m_pt_get_entry() local
779 l4e += l4_table_offset(addr); in p2m_pt_get_entry()
782 if ( (l4e_get_flags(*l4e) & _PAGE_PRESENT) == 0 ) in p2m_pt_get_entry()
784 unmap_domain_page(l4e); in p2m_pt_get_entry()
787 mfn = l4e_get_mfn(*l4e); in p2m_pt_get_entry()
788 recalc = needs_recalc(l4, *l4e); in p2m_pt_get_entry()
789 unmap_domain_page(l4e); in p2m_pt_get_entry()
992 l4_pgentry_t *l4e; in p2m_pt_audit_p2m() local
995 l4e = map_domain_page(pagetable_get_mfn(p2m_get_pagetable(p2m))); in p2m_pt_audit_p2m()
1000 if ( !(l4e_get_flags(l4e[i4]) & _PAGE_PRESENT) ) in p2m_pt_audit_p2m()
1005 l3e = map_l3t_from_l4e(l4e[i4]); in p2m_pt_audit_p2m()
1112 unmap_domain_page(l4e); in p2m_pt_audit_p2m()