sel4::init_thread::slot

Constant SMC

Source 
pub const SMC: Slot<Smc>;
Expand description

Corresponds to seL4_CapSMC.