Constant sel4_sys::invocation_label::TCBReadRegisters

pub const TCBReadRegisters: u32 = 2u32;