Type Alias sel4_sys::seL4_Uint16

pub type seL4_Uint16 = c_ushort;