Searched refs:vpid_sync_vcpu_single (Results 1 – 1 of 1) sorted by relevance
1414 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single() function1432 vpid_sync_vcpu_single(vpid); in vpid_sync_context()