Constant sel4::init_thread::slot::IPC_BUFFER

source ยท 
pub const IPC_BUFFER: Slot<Granule>;
Expand description

Corresponds to seL4_CapInitThreadIPCBuffer.