Type Alias seL4_SlotPos 

pub type seL4_SlotPos = seL4_Word;