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