Constant sel4_sys::invocation_label::TCBWriteRegisters

pub const TCBWriteRegisters: u32 = 3u32;