Constant sel4::init_thread::slot::ASID_CONTROL

source ยท 
pub const ASID_CONTROL: Slot<AsidControl>;
Expand description

Corresponds to seL4_CapASIDControl.