Constant sel4_sys::seL4_MinUntypedBits

pub const seL4_MinUntypedBits: u32 = 4;