Searched refs:vpid_sync_vcpu_single (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.4/arch/x86/kvm/vmx/ | ||
| D | ops.h | 269 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single() function |
Searched refs:vpid_sync_vcpu_single (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.4/arch/x86/kvm/vmx/ | ||
| D | ops.h | 269 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single() function |