Searched refs:top_map (Results 1 – 3 of 3) sorted by relevance
55 void *top_map; in hap_p2m_ga_to_gfn() local90 top_map = map_domain_page(top_mfn); in hap_p2m_ga_to_gfn()92 top_map += (cr3 & ~(PAGE_MASK | 31)); in hap_p2m_ga_to_gfn()95 top_gfn, top_mfn, top_map); in hap_p2m_ga_to_gfn()96 unmap_domain_page(top_map); in hap_p2m_ga_to_gfn()
86 gfn_t top_gfn, mfn_t top_mfn, void *top_map) in guest_walk_tables() argument140 l4p = (guest_l4e_t *) top_map; in guest_walk_tables()234 l3gpa = gfn_to_gaddr(top_gfn) + ((unsigned long)top_map & ~PAGE_MASK) + in guest_walk_tables()238 gw->l3e = ((guest_l3e_t *)top_map)[guest_l3_table_offset(va)]; in guest_walk_tables()271 l2p = (guest_l2e_t *) top_map; in guest_walk_tables()
433 gfn_t top_gfn, mfn_t top_mfn, void *top_map);
Completed in 4 milliseconds