Constant _enum_pad_seL4_VCPUReg 

pub const _enum_pad_seL4_VCPUReg: Type = 2147483647;