Constant seL4_Fault_VGICMaintenance 

pub const seL4_Fault_VGICMaintenance: u64 = 7;