Constant _enum_pad_seL4_VGICMaintenance_Msg 

pub const _enum_pad_seL4_VGICMaintenance_Msg: Type = 9223372036854775807;