Searched refs:l4e_get_mfn (Results 1 – 8 of 8) sorted by relevance
79 #define l4e_get_mfn(x) _mfn(l4e_get_pfn(x)) macro95 #define l4e_get_page(x) mfn_to_page(l4e_get_mfn(x))198 #define map_l3t_from_l4e(x) (l3_pgentry_t *)map_domain_page(l4e_get_mfn(x))
81 mfn = l4e_get_mfn(l4e); in dbg_pv_va2mfn()
867 l3mfn = l4e_get_mfn(rpt[r]); in cleanup_cpu_root_pgt()
1203 l4e_get_mfn(l4e), PGT_l3_page_table, d, flags | PTF_preemptible); in get_page_from_l4e()1335 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) || mfn_eq(l4e_get_mfn(l4e), l4mfn) ) in put_page_from_l4e()
85 { return l4e_get_mfn(sl4e); } in shadow_l4e_get_mfn()
1994 m3mfn = l4e_get_mfn(l4e[linear_slot]); in sh_destroy_monitor_table()2006 m3mfn = l4e_get_mfn(l4e[0]); in sh_destroy_monitor_table()3768 l3mfn = l4e_get_mfn(ml4e[linear_slot]); in sh_update_linear_entries()
752 mfn = l4e_get_mfn(*l4e); in p2m_pt_get_entry()
744 mfn = l4e_get_mfn(*pl4e); in read_cr()
Completed in 609 milliseconds