Constant IPC_BUFFER 

pub const IPC_BUFFER: Slot<Granule>;

Corresponds to seL4_CapInitThreadIPCBuffer.