sel4::init_thread::slot

Constant IPC_BUFFER

Source 
pub const IPC_BUFFER: Slot<Granule>;
Expand description

Corresponds to seL4_CapInitThreadIPCBuffer.