Constant sel4::init_thread::slot::IO_PORT_CONTROL

source ·
pub const IO_PORT_CONTROL: Slot<Null>;