Type Alias sel4_sys::seL4_Uint32

source · 
pub type seL4_Uint32 = c_uint;