Type Alias sel4_sys::seL4_Uint64

pub type seL4_Uint64 = c_ulong;