CoreId

mmtk::util::os

Type Alias CoreId 

Source 
pub type CoreId = u16;
Expand description

Representation of a CPU core identifier.