Constant sel4_sys::seL4_UntypedRetypeMaxObjects

pub const seL4_UntypedRetypeMaxObjects: u32 = 256;