sel4::init_thread::slot

Constant IO_PORT_CONTROL

Source 
pub const IO_PORT_CONTROL: Slot<Null>;
Expand description

Corresponds to seL4_CapIOPortControl.