sel4_sys::invocation_label

Constant TCBReadRegisters

Source 
pub const TCBReadRegisters: u32 = 2u32;