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()
1229 vpid_sync_context(nested_get_vpid02(vcpu)); in nested_vmx_transition_tlb_flush()5506 vpid_sync_context(vpid02); in handle_invvpid()5509 vpid_sync_context(vpid02); in handle_invvpid()
3020 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_current()3041 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_guest()4572 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()