Constant sel4_sys::invocation_label::CNodeRotate

source ยท 
pub const CNodeRotate: u32 = 24u32;