Constant sel4_sys::invocation_label::TCBCopyRegisters

source ยท 
pub const TCBCopyRegisters: u32 = 4u32;