Searched refs:vpid_sync_context (Results 1 – 1 of 1) sorted by relevance
2257 static inline void vpid_sync_context(int vpid) in vpid_sync_context() function5119 vpid_sync_context(vpid); in __vmx_flush_tlb()5133 vpid_sync_context(vpid); in vmx_flush_tlb_gva()6769 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
