seL4_UntypedRetypeMaxObjects

Constant seL4_UntypedRetypeMaxObjects 

Source
pub const seL4_UntypedRetypeMaxObjects: u32 = 256;