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()
3075 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_current()3096 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_guest()4787 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
5731 vpid_sync_context(vpid02); in handle_invvpid()5734 vpid_sync_context(vpid02); in handle_invvpid()