Constant _enum_pad_seL4_TCBFlag 

pub const _enum_pad_seL4_TCBFlag: Type = 2147483647;