Type Definition ThreadId
atopology
type ThreadId = u64;
A hardware scheduling unit (has an APIC), (unique within a core).