sel4::init_thread::slot

Constant NULL

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

Corresponds to seL4_CapNull.