Searched refs:vpid_sync_context (Results 1 – 3 of 3) sorted by relevance
315 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function331 vpid_sync_context(vpid); in vpid_sync_vcpu_addr()
3031 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_current()3052 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_guest()4633 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
5601 vpid_sync_context(vpid02); in handle_invvpid()5604 vpid_sync_context(vpid02); in handle_invvpid()