Constant sel4_sys::invocation_label::TCBSetIPCBuffer

pub const TCBSetIPCBuffer: u32 = 10u32;