Searched refs:vpid_sync_context (Results 1 – 3 of 3) sorted by relevance
290 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function306 vpid_sync_context(vpid); in vpid_sync_vcpu_addr()
2943 vpid_sync_context(to_vmx(vcpu)->vpid); in vmx_flush_tlb_current()2945 vpid_sync_context(nested_get_vpid02(vcpu)); in vmx_flush_tlb_current()2966 vpid_sync_context(to_vmx(vcpu)->vpid); in vmx_flush_tlb_guest()4489 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
1215 vpid_sync_context(nested_get_vpid02(vcpu)); in nested_vmx_transition_tlb_flush()5511 vpid_sync_context(vpid02); in handle_invvpid()5514 vpid_sync_context(vpid02); in handle_invvpid()
