Type Definition kernel::task::tid::Tid

source · 
pub type Tid = usize;