Constant sel4::init_thread::slot::ASID_CONTROL

source · 
pub const ASID_CONTROL: Slot<AsidControl>;