Lines Matching refs:l4e
227 mismatch |= (gw->l4e.l4 != l4p[guest_l4_table_offset(va)].l4); in shadow_check_gwalk()
1570 l4_pgentry_t *l4e; in sh_make_monitor_table() local
1575 l4e = map_domain_page(m4mfn); in sh_make_monitor_table()
1582 init_xen_l4_slots(l4e, m4mfn, d, INVALID_MFN, false); in sh_make_monitor_table()
1594 l4e[shadow_l4_table_offset(SH_LINEAR_PT_VIRT_START)] in sh_make_monitor_table()
1611 l4e[0] = l4e_from_mfn(m3mfn, __PAGE_HYPERVISOR_RW); in sh_make_monitor_table()
1628 unmap_domain_page(l4e); in sh_make_monitor_table()
1688 l4e_propagate_from_guest(v, gw->l4e, *sl3mfn, &new_sl4e, ft); in shadow_get_and_create_l3e()
2016 l4_pgentry_t *l4e = map_domain_page(mmfn); in sh_destroy_monitor_table() local
2022 ASSERT(l4e_get_flags(l4e[linear_slot]) & _PAGE_PRESENT); in sh_destroy_monitor_table()
2023 m3mfn = l4e_get_mfn(l4e[linear_slot]); in sh_destroy_monitor_table()
2034 ASSERT(l4e_get_flags(l4e[0]) & _PAGE_PRESENT); in sh_destroy_monitor_table()
2035 m3mfn = l4e_get_mfn(l4e[0]); in sh_destroy_monitor_table()
2042 unmap_domain_page(l4e); in sh_destroy_monitor_table()