Searched refs:nested_get_vpid02 (Results 1 – 2 of 2) sorted by relevance
88 static inline u16 nested_get_vpid02(struct kvm_vcpu *vcpu) in nested_get_vpid02() function
6091 vpid02 = nested_get_vpid02(vcpu); in handle_invvpid()