Searched refs:g_vaddr (Results 1 – 1 of 1) sorted by relevance
27 static inline void svm_asid_g_invlpg(struct vcpu *v, unsigned long g_vaddr) in svm_asid_g_invlpg() argument31 svm_invlpga(g_vaddr, v->arch.hvm_svm.vmcb->guest_asid); in svm_asid_g_invlpg()
Completed in 3 milliseconds