Searched refs:vmx_get_current_vpid (Results 1 – 1 of 1) sorted by relevance
3336 static inline int vmx_get_current_vpid(struct kvm_vcpu *vcpu) in construct_eptp() 3389 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_gva() 3398 vpid_sync_vcpu_addr(vmx_get_current_vpid(vcpu), addr); in vmx_flush_tlb_guest() 3410 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_ept_load_pdptrs() 3326 static inline int vmx_get_current_vpid(struct kvm_vcpu *vcpu) vmx_get_current_vpid() function