Constant sel4_sys::priorityConstants::seL4_MinPrio

pub const seL4_MinPrio: Type = 0;