Searched refs:hvm_asid_flush_vcpu (Results 1 – 10 of 10) sorted by relevance
33 void hvm_asid_flush_vcpu(struct vcpu *v);
35 hvm_asid_flush_vcpu(v); in svm_asid_g_invlpg()
88 void hvm_asid_flush_vcpu(struct vcpu *v) in hvm_asid_flush_vcpu() function
945 hvm_asid_flush_vcpu(v); in viridian_hypercall()
1512 hvm_asid_flush_vcpu(v); in hvm_vcpu_initialise()
935 hvm_asid_flush_vcpu(v); in paging_update_nestedmode()
1791 hvm_asid_flush_vcpu(v); in p2m_flush()1842 hvm_asid_flush_vcpu(v); in nvcpu_flush()
1370 hvm_asid_flush_vcpu(v); /* invalidate memory type cached in TLB */ in vmx_handle_cd()1379 hvm_asid_flush_vcpu(v); /* no need to flush cache */ in vmx_handle_cd()1691 hvm_asid_flush_vcpu(v); in vmx_update_guest_cr()
1717 hvm_asid_flush_vcpu(v); in vmx_do_resume()
566 hvm_asid_flush_vcpu(v); in svm_update_guest_cr()1105 hvm_asid_flush_vcpu(v); in svm_do_resume()
Completed in 32 milliseconds