Constant seL4_VPPIEvent_IRQ 

pub const seL4_VPPIEvent_IRQ: Type = 0;