Type Alias seL4_ARM_SGI_Signal 

pub type seL4_ARM_SGI_Signal = seL4_CPtr;