Searched refs:vpid_sync_vcpu_single (Results 1 – 1 of 1) sorted by relevance
1340 static inline void vpid_sync_vcpu_single(struct vcpu_vmx *vmx) in vpid_sync_vcpu_single() function1358 vpid_sync_vcpu_single(vmx); in vpid_sync_context()