Searched refs:vpid_sync_vcpu_gva (Results 1 – 2 of 2) sorted by relevance
537 static inline void vpid_sync_vcpu_gva(struct vcpu *v, unsigned long gva) in vpid_sync_vcpu_gva() function
2636 vpid_sync_vcpu_gva(v, linear); in vmx_invlpg()
Completed in 9 milliseconds