Searched refs:vpid_sync_context (Results 1 – 3 of 3) sorted by relevance
339 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function355 vpid_sync_context(vpid); in vpid_sync_vcpu_addr()
3434 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_current()3455 vpid_sync_context(vmx_get_current_vpid(vcpu)); in vmx_flush_tlb_guest()5153 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()7013 vpid_sync_context(vmx->vpid); in vmx_set_virtual_apic_mode()
6109 vpid_sync_context(vpid02); in handle_invvpid()6112 vpid_sync_context(vpid02); in handle_invvpid()