Searched refs:vpid_sync_context (Results 1 – 2 of 2) sorted by relevance
336 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function352 vpid_sync_context(vpid); in vpid_sync_vcpu_addr()
3379 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_current()3400 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_guest()5104 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()6942 vpid_sync_context(vmx->vpid); in vmx_set_virtual_apic_mode()