Searched refs:viridian_map_guest_page (Results 1 – 4 of 4) sorted by relevance
105 viridian_map_guest_page(d, &vv->vp_assist); in viridian_synic_wrmsr()133 viridian_map_guest_page(d, &vv->simp); in viridian_synic_wrmsr()421 viridian_map_guest_page(d, &vv->vp_assist); in viridian_synic_load_vcpu_ctxt()427 viridian_map_guest_page(d, &vv->simp); in viridian_synic_load_vcpu_ctxt()
57 void viridian_map_guest_page(struct domain *d, struct viridian_page *vp);
336 viridian_map_guest_page(d, &vd->reference_tsc); in viridian_time_wrmsr()592 viridian_map_guest_page(d, &vd->reference_tsc); in viridian_time_load_domain_ctxt()
720 void viridian_map_guest_page(struct domain *d, struct viridian_page *vp) in viridian_map_guest_page() function
Completed in 6 milliseconds