vpid_sync_vcpu_single (reference) in projects: linux-6.3-rc2

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

/linux-6.3-rc2/arch/x86/kvm/vmx/
A D	vmx_ops.h	`318 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single() function 334 vpid_sync_vcpu_single(vpid); in vpid_sync_context()`
A D	vmx.c	`3176 vpid_sync_vcpu_single(vmx->vpid); in vmx_flush_tlb_all() 3177 vpid_sync_vcpu_single(vmx->nested.vpid02); in vmx_flush_tlb_all()`

Completed in 14 milliseconds