Module seL4_SchedContextFlag

sel4_sys0.1.0

Module seL4_SchedContextFlag

Module Items

Constants
Type Aliases

In crate sel4_sys

Modules

_mode_object
_object
api_object
invocation_label
priorityConstants
seL4_ARM_CacheType
seL4_ARM_VMAttributes
seL4_BootInfoID
seL4_CapFault_Msg
seL4_Error
seL4_Fault_tag
seL4_LookupFailureType
seL4_MsgLimits
seL4_RootCNodeCapSlots
seL4_SchedContextFlag
seL4_TimeoutReply_Msg
seL4_Timeout_Msg
seL4_UnknownSyscall_Msg
seL4_UserException_Msg
seL4_VCPUFault_Msg
seL4_VCPUReg
seL4_VGICMaintenance_Msg
seL4_VMFault_Msg
seL4_VPPIEvent_Msg
syscall_id

Structs

Enums

seL4_Fault_Splayed

Constants

Functions

seL4_CallWithMRsWithoutIPCBuffer
seL4_DebugCapIdentify
seL4_DebugHalt
seL4_DebugNameThread
seL4_DebugPutChar
seL4_DebugSnapshot
seL4_NBSendWithMRsWithoutIPCBuffer
seL4_RecvWithMRsWithoutIPCBuffer
seL4_SendWithMRsWithoutIPCBuffer
seL4_WaitWithMRsWithoutIPCBuffer
seL4_Yield

Type Aliases

Module seL4_SchedContextFlag

Settings

Help

Constants§

_enum_pad_seL4_SchedContextFlag
seL4_SchedContext_NoFlag
seL4_SchedContext_Sporadic

Type Aliases§

Type