Module syscall_
id
sel4_
sys
0.1.0
Module syscall_
id
Module Items
Constants
In crate sel4_
sys
Modules
_mode_object
_object
api_object
invocation_label
priorityConstants
seL4_BootInfoID
seL4_CapFault_Msg
seL4_Error
seL4_Fault_tag
seL4_LookupFailureType
seL4_MsgLimits
seL4_RISCV_VMAttributes
seL4_RootCNodeCapSlots
seL4_UnknownSyscall_Msg
seL4_UserException_Msg
seL4_VMFault_Msg
syscall_id
Structs
seL4_BootInfo
seL4_BootInfoHeader
seL4_CNode_CapData
seL4_CNode_CapData_Unpacked
seL4_CapRights
seL4_CapRights_Unpacked
seL4_Fault
seL4_Fault_CapFault
seL4_Fault_CapFault_Unpacked
seL4_Fault_NullFault
seL4_Fault_NullFault_Unpacked
seL4_Fault_UnknownSyscall
seL4_Fault_UnknownSyscall_Unpacked
seL4_Fault_UserException
seL4_Fault_UserException_Unpacked
seL4_Fault_VMFault
seL4_Fault_VMFault_Unpacked
seL4_IPCBuffer_
seL4_MessageInfo
seL4_MessageInfo_Unpacked
seL4_RISCV_Page_GetAddress_ret
seL4_SchedContext_Consumed
seL4_SchedContext_YieldTo
seL4_SlotRegion
seL4_TCB_ConfigureSingleStepping
seL4_TCB_GetBreakpoint
seL4_UntypedDesc
seL4_UserContext_
vm_attributes
vm_attributes_Unpacked
Enums
seL4_Fault_Splayed
Constants
SEL4_MAPPING_LOOKUP_LEVEL
SEL4_MAPPING_LOOKUP_NO_PT
seL4_ASIDPoolBits
seL4_ASIDPoolIndexBits
seL4_BadgeBits
seL4_BootInfoFrameBits
seL4_CapRightsBits
seL4_EndpointBits
seL4_False
seL4_GuardBits
seL4_GuardSizeBits
seL4_HugePageBits
seL4_IPCBufferSizeBits
seL4_LargePageBits
seL4_MaxUntypedBits
seL4_MinUntypedBits
seL4_NilData
seL4_NotificationBits
seL4_NumASIDPoolsBits
seL4_PageBits
seL4_PageTableBits
seL4_PageTableEntryBits
seL4_PageTableIndexBits
seL4_RISCV_Tera_Page
seL4_SlotBits
seL4_TCBBits
seL4_TeraPageBits
seL4_True
seL4_UntypedRetypeMaxObjects
seL4_UserTop
seL4_VSpaceBits
seL4_WordBits
seL4_WordSizeBits
Functions
seL4_CallWithMRsWithoutIPCBuffer
seL4_DebugCapIdentify
seL4_DebugHalt
seL4_DebugNameThread
seL4_DebugPutChar
seL4_DebugSnapshot
seL4_NBSendWithMRsWithoutIPCBuffer
seL4_RecvWithMRsWithoutIPCBuffer
seL4_ReplyWithMRsWithoutIPCBuffer
seL4_SendWithMRsWithoutIPCBuffer
seL4_Yield
Type Aliases
ReplyAuthority
WaitMessageInfo
seL4_ArchObjectType
seL4_Bool
seL4_CNode
seL4_CNode_CapData_t
seL4_CPtr
seL4_CapRights_t
seL4_Domain
seL4_DomainSet
seL4_IPCBuffer
seL4_IRQControl
seL4_IRQHandler
seL4_Int16
seL4_Int32
seL4_Int64
seL4_Int8
seL4_MessageInfo_t
seL4_ModeObjectType
seL4_NodeId
seL4_ObjectType
seL4_PAddr
seL4_RISCV_ASIDControl
seL4_RISCV_ASIDPool
seL4_RISCV_Page
seL4_RISCV_PageTable
seL4_SchedContext
seL4_SchedControl
seL4_SlotPos
seL4_TCB
seL4_Time
seL4_Uint16
seL4_Uint32
seL4_Uint64
seL4_Uint8
seL4_Untyped
seL4_UserContext
seL4_Word
vm_attributes_t
sel4_sys
Module
syscall_id
Copy item path
Settings
Help
Summary
Source
Constants
§
Call
Debug
CapIdentify
Debug
Dump
Scheduler
Debug
Halt
Debug
Name
Thread
Debug
PutChar
Debug
SendIPI
Debug
Snapshot
NBRecv
NBSend
Recv
Reply
Reply
Recv
Send
Yield