Searched defs:MonitorId (Results 1 – 2 of 2) sorted by relevance
34 using MonitorId = Monitor::MonitorId; variable
22 … PandaMap<Monitor::MonitorId, PandaSet<ManagedThread::ThreadId>> &entered_monitors, in UpdateMonitorsForThread()