TaskId

kernel::ipc::event

Type Alias TaskId 

Source 
pub type TaskId = u32;
Expand description

Type alias for task identifiers