Searched refs:vpid_sync_vcpu_global (Results 1 – 2 of 2) sorted by relevance
332 static inline void vpid_sync_vcpu_global(void) in vpid_sync_vcpu_global() function342 vpid_sync_vcpu_global(); in vpid_sync_context()
3175 vpid_sync_vcpu_global(); in vmx_flush_tlb_all()
