Searched refs:svm_invlpga (Results 1 – 3 of 3) sorted by relevance
31 svm_invlpga(g_vaddr, v->arch.hvm_svm.vmcb->guest_asid); in svm_asid_g_invlpg()
43 static inline void svm_invlpga(unsigned long vaddr, uint32_t asid) in svm_invlpga() function
2366 svm_invlpga(vaddr, in svm_invlpga_intercept()
Completed in 10 milliseconds