Constant sel4::init_thread::slot::IPC_BUFFER

source · 
pub const IPC_BUFFER: Slot<Granule>;