Home
last modified time | relevance | path

Searched defs:l4e (Results 1 – 17 of 17) sorted by relevance

/xen/xen/arch/x86/efi/
A Druntime.h7 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e) in efi_update_l4_pgtable()
A Dstub.c55 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e) { } in efi_update_l4_pgtable()
/xen/xen/arch/x86/pv/
A Dmm.h143 static always_inline l4_pgentry_t adjust_guest_l4e(l4_pgentry_t l4e, in adjust_guest_l4e()
A Dshim.c168 l4_pgentry_t l4e = l4start[l4_table_offset(va)]; in replace_va_mapping() local
/xen/xen/arch/x86/
A Ddebug.c69 l4_pgentry_t l4e, *l4t; in dbg_pv_va2mfn() local
A Ddomctl.c1628 const l4_pgentry_t *l4e = in arch_get_info_guest() local
A Dmm.c1191 l4_pgentry_t l4e, mfn_t l4mfn, struct domain *d, unsigned int flags) in get_page_from_l4e()
1333 static int put_page_from_l4e(l4_pgentry_t l4e, mfn_t l4mfn, unsigned int flags) in put_page_from_l4e()
1774 l4_pgentry_t l4e; in promote_l4_table() local
5091 l4_pgentry_t l4e = l4e_from_paddr(__pa(l3t), __PAGE_HYPERVISOR); in virt_to_xen_l3e() local
A Dtraps.c1298 l4_pgentry_t l4e, *l4t; in __page_fault_type() local
/xen/xen/arch/x86/x86_64/
A Dmm.c50 l4_pgentry_t l4e, *l4t; in do_page_walk() local
873 l4_pgentry_t l4e = idle_pg_table[i]; in subarch_init_memory() local
1186 l4_pgentry_t l4e; in handle_memadd_fault() local
A Dtraps.c188 l4_pgentry_t l4e, *l4t; in show_page_walk() local
/xen/xen/include/asm-x86/
A Dshadow.h229 static inline bool pv_l1tf_check_l4e(struct domain *d, l4_pgentry_t l4e) in pv_l1tf_check_l4e()
A Dguest_pt.h327 guest_l4e_t l4e) in guest_l4e_rsvd_bits()
347 guest_l4e_t l4e; /* Guest's level 4 entry */ member
A Dpage.h43 #define l4e_write_atomic(l4ep, l4e) \ argument
56 #define l4e_write(l4ep, l4e) \ argument
/xen/xen/arch/x86/mm/
A Dp2m-pt.c743 l4_pgentry_t *l4e = map_domain_page(mfn); in p2m_pt_get_entry() local
965 l4_pgentry_t *l4e; in p2m_pt_audit_p2m() local
/xen/xen/arch/x86/mm/hap/
A Dhap.c393 l4_pgentry_t *l4e; in hap_make_monitor_table() local
/xen/xen/common/efi/
A Dboot.c1448 l4_pgentry_t l4e = efi_l4_pgtable[l4_table_offset(mfn << PAGE_SHIFT)]; in copy_mapping() local
1629 l4_pgentry_t l4e = efi_l4_pgtable[l4_table_offset(addr)]; in efi_init_memory() local
/xen/xen/arch/x86/mm/shadow/
A Dmulti.c1541 l4_pgentry_t *l4e; in sh_make_monitor_table() local
1987 l4_pgentry_t *l4e = map_domain_page(mmfn); in sh_destroy_monitor_table() local

Completed in 59 milliseconds