Lines Matching refs:l4e
1174 l4_pgentry_t l4e, unsigned long pfn, struct domain *d, int partial)
1178 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) )
1181 if ( unlikely((l4e_get_flags(l4e) & L4_DISALLOW_MASK)) )
1184 l4e_get_flags(l4e) & L4_DISALLOW_MASK);
1189 l4e_get_mfn(l4e), PGT_l3_page_table, d, partial, 1);
1190 if ( unlikely(rc == -EINVAL) && get_l4_linear_pagetable(l4e, pfn, d) )
1332 static int put_page_from_l4e(l4_pgentry_t l4e, unsigned long pfn,
1337 if ( (l4e_get_flags(l4e) & _PAGE_PRESENT) &&
1338 (l4e_get_pfn(l4e) != pfn) )
1340 struct page_info *pg = l4e_get_page(l4e);
4501 l4_pgentry_t l4e = l4e_from_paddr(__pa(pl3e), __PAGE_HYPERVISOR);
4503 l4e_write(pl4e, l4e);
4504 efi_update_l4_pgtable(l4_table_offset(v), l4e);