Home
last modified time | relevance | path

Searched refs:vpid_sync_vcpu_single (Results 1 – 2 of 2) sorted by relevance

/openbmc/linux/arch/x86/kvm/vmx/
H A Dvmx_ops.h324 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single() function
340 vpid_sync_vcpu_single(vpid); in vpid_sync_context()
H A Dvmx.c3190 vpid_sync_vcpu_single(vmx->vpid); in vmx_flush_tlb_all()
3191 vpid_sync_vcpu_single(vmx->nested.vpid02); in vmx_flush_tlb_all()