Searched refs:vpid_sync_context (Results 1 – 3 of 3) sorted by relevance
288 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function304 vpid_sync_context(vpid); in vpid_sync_vcpu_addr()
2920 vpid_sync_context(to_vmx(vcpu)->vpid); in vmx_flush_tlb_current()2922 vpid_sync_context(nested_get_vpid02(vcpu)); in vmx_flush_tlb_current()2943 vpid_sync_context(to_vmx(vcpu)->vpid); in vmx_flush_tlb_guest()4475 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
1219 vpid_sync_context(nested_get_vpid02(vcpu)); in nested_vmx_transition_tlb_flush()5412 vpid_sync_context(vpid02); in handle_invvpid()5415 vpid_sync_context(vpid02); in handle_invvpid()
