Constant seL4_Fault_VPPIEvent 

pub const seL4_Fault_VPPIEvent: u64 = 9;