Constant sel4_sys::seL4_SchedContextFlag::_enum_pad_seL4_SchedContextFlag

pub const _enum_pad_seL4_SchedContextFlag: Type = 9223372036854775807;