Searched refs:vpid_sync_context (Results 1 – 3 of 3) sorted by relevance
337 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function353 vpid_sync_context(vpid); in vpid_sync_vcpu_addr()
3216 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_current()3237 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_guest()4916 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
5864 vpid_sync_context(vpid02); in handle_invvpid()5867 vpid_sync_context(vpid02); in handle_invvpid()