Searched refs:vpid_sync_vcpu_global (Results 1 – 1 of 1) sorted by relevance
1423 static inline void vpid_sync_vcpu_global(void) in vpid_sync_vcpu_global() function1434 vpid_sync_vcpu_global(); in vpid_sync_context()