Searched refs:hvm_asid_flush_vcpu (Results 1 – 11 of 11) sorted by relevance
33 void hvm_asid_flush_vcpu(struct vcpu *v);
36 hvm_asid_flush_vcpu(v); in svm_asid_g_invlpg()
89 void hvm_asid_flush_vcpu(struct vcpu *v) in hvm_asid_flush_vcpu() function
2524 hvm_asid_flush_vcpu(current); in hvmemul_tlb_op()
1545 hvm_asid_flush_vcpu(v); in hvm_vcpu_initialise()
719 hvm_asid_flush_vcpu(v); in flush_tlb()
935 hvm_asid_flush_vcpu(v); in paging_update_nestedmode()
1585 hvm_asid_flush_vcpu(v); in p2m_flush()1636 hvm_asid_flush_vcpu(v); in nvcpu_flush()
1217 hvm_asid_flush_vcpu(v); /* invalidate memory type cached in TLB */ in vmx_handle_cd()1226 hvm_asid_flush_vcpu(v); /* no need to flush cache */ in vmx_handle_cd()1579 hvm_asid_flush_vcpu(v); in vmx_update_guest_cr()
1893 hvm_asid_flush_vcpu(v); in vmx_do_resume()
516 hvm_asid_flush_vcpu(v); in svm_update_guest_cr()1020 hvm_asid_flush_vcpu(v); in svm_do_resume()
Completed in 40 milliseconds