Searched refs:vpid_sync_context (Results 1 – 1 of 1) sorted by relevance
1429 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function3608 vpid_sync_context(vpid); in __vmx_flush_tlb()4964 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()