sel4_sys::priorityConstants

Type Alias Type

Source 
pub type Type = c_int;