Searched refs:vpid_sync_context (Results 1 – 1 of 1) sorted by relevance
1355 static inline void vpid_sync_context(struct vcpu_vmx *vmx) in vpid_sync_context() function3471 vpid_sync_context(to_vmx(vcpu)); in vmx_flush_tlb()4815 vpid_sync_context(vmx); in vmx_vcpu_reset()