Module sel4_sys::seL4_SchedContextFlag

Constants

• _enum_pad_seL4_SchedContextFlag
• seL4_SchedContext_NoFlag
• seL4_SchedContext_Sporadic

Type Aliases

• Type