sel4_sys::invocation_label

Constant TCBCopyRegisters

Source 
pub const TCBCopyRegisters: u32 = 4u32;