Searched refs:vpid_sync_context (Results 1 – 3 of 3) sorted by relevance
284 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function
499 vpid_sync_context(vpid); in __vmx_flush_tlb()
2845 vpid_sync_context(vpid); in vmx_flush_tlb_gva()4364 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
