List of all items

Structs

• fault::lookup_fault_t
• fault::seL4_Fault_t
• message_info::seL4_MessageInfo_t
• structures::seL4_IPCBuffer

Enums

• fault::FaultType
• fault::LookupFaultType
• message_info::MessageLabel
• object::ObjectType
• structures::exception_t

Macros

• BIT
• IS_ALIGNED
• MASK
• ROUND_DOWN
• ROUND_UP
• plus_define_bitfield
• print
• println

Functions

• logging::init
• sbi::clear_ipi
• sbi::console_getchar
• sbi::console_putchar
• sbi::get_time
• sbi::remote_sfence_vma
• sbi::sbi_call
• sbi::set_timer
• sbi::shutdown
• sbi::sys_write
• utils::MAX_FREE_INDEX
• utils::convert_to_mut_type_ref
• utils::convert_to_mut_type_ref_unsafe
• utils::convert_to_option_mut_type_ref
• utils::convert_to_option_type_ref
• utils::convert_to_type_ref
• utils::cpu_id
• utils::pageBitsForSize

Constants

• fault::lookup_fault_depth_mismatch
• fault::lookup_fault_guard_mismatch
• fault::lookup_fault_invalid_root
• fault::lookup_fault_missing_capability
• fault::seL4_CapFault_Addr
• fault::seL4_CapFault_BitsLeft
• fault::seL4_CapFault_DepthMismatch_BitsFound
• fault::seL4_CapFault_GuardMismatch_BitsFound
• fault::seL4_CapFault_GuardMismatch_GuardFound
• fault::seL4_CapFault_IP
• fault::seL4_CapFault_InRecvPhase
• fault::seL4_CapFault_LookupFailureType
• fault::seL4_Fault_CapFault
• fault::seL4_Fault_NullFault
• fault::seL4_Fault_UnknownSyscall
• fault::seL4_Fault_UserException
• fault::seL4_Fault_VMFault
• fault::seL4_VMFault_Addr
• fault::seL4_VMFault_FSR
• fault::seL4_VMFault_IP
• fault::seL4_VMFault_Length
• fault::seL4_VMFault_PrefetchFault
• object::seL4_ObjectTypeCount
• registers::FaultIP
• registers::MAX_MSG_SIZE
• registers::NextIP
• registers::SCAUSE
• registers::SSTATUS
• registers::SSTATUS_SPIE
• registers::SSTATUS_SPP
• registers::TLS_BASE
• registers::badgeRegister
• registers::capRegister
• registers::fault_messages
• registers::msgInfoRegister
• registers::msgRegister
• registers::n_contextRegisters
• registers::n_exceptionMessage
• registers::n_msgRegisters
• registers::n_syscallMessage
• registers::ra
• registers::sp
• sel4_config::ASID_BITS
• sel4_config::CONFIG_KERNEL_STACK_BITS
• sel4_config::CONFIG_MAX_NUM_NODES
• sel4_config::CONFIG_NUM_DOMAINS
• sel4_config::CONFIG_NUM_PRIORITIES
• sel4_config::CONFIG_PT_LEVELS
• sel4_config::CONFIG_RESET_CHUNK_BITS
• sel4_config::CONFIG_TIME_SLICE
• sel4_config::IT_ASID
• sel4_config::KERNEL_ELF_BASE
• sel4_config::KERNEL_ELF_BASE_OFFSET
• sel4_config::KERNEL_ELF_PADDR_BASE
• sel4_config::L2_BITMAP_SIZE
• sel4_config::MessageID_Exception
• sel4_config::MessageID_Syscall
• sel4_config::NUM_READY_QUEUES
• sel4_config::PADDR_BASE
• sel4_config::PADDR_TOP
• sel4_config::PAGE_BITS
• sel4_config::PPTR_BASE
• sel4_config::PPTR_BASE_OFFSET
• sel4_config::PPTR_TOP
• sel4_config::PT_INDEX_BITS
• sel4_config::PT_SIZE_BITS
• sel4_config::RISCVGigaPageBits
• sel4_config::RISCVMegaPageBits
• sel4_config::RISCVPageBits
• sel4_config::RISCV_4K_Page
• sel4_config::RISCV_Giga_Page
• sel4_config::RISCV_Mega_Page
• sel4_config::RISCV_Tera_Page
• sel4_config::TCB_OFFSET
• sel4_config::TCB_SIZE_BITS
• sel4_config::asidHighBits
• sel4_config::asidInvalid
• sel4_config::asidLowBits
• sel4_config::nASIDPools
• sel4_config::physBase
• sel4_config::seL4_AlignmentError
• sel4_config::seL4_DeleteFirst
• sel4_config::seL4_EndpointBits
• sel4_config::seL4_FailedLookup
• sel4_config::seL4_HugePageBits
• sel4_config::seL4_IPCBufferSizeBits
• sel4_config::seL4_IllegalOperation
• sel4_config::seL4_InvalidArgument
• sel4_config::seL4_InvalidCapability
• sel4_config::seL4_LargePageBits
• sel4_config::seL4_MaxUntypedBits
• sel4_config::seL4_MinUntypedBits
• sel4_config::seL4_MsgExtraCapBits
• sel4_config::seL4_MsgMaxExtraCaps
• sel4_config::seL4_MsgMaxLength
• sel4_config::seL4_NoError
• sel4_config::seL4_NotEnoughMemory
• sel4_config::seL4_NotificationBits
• sel4_config::seL4_NumErrors
• sel4_config::seL4_PageBits
• sel4_config::seL4_PageTableBits
• sel4_config::seL4_RangeError
• sel4_config::seL4_ReplyBits
• sel4_config::seL4_RevokeFirst
• sel4_config::seL4_SlotBits
• sel4_config::seL4_TCBBits
• sel4_config::seL4_TruncatedMessage
• sel4_config::tcbBuffer
• sel4_config::tcbCNodeEntries
• sel4_config::tcbCTable
• sel4_config::tcbCaller
• sel4_config::tcbReply
• sel4_config::tcbVTable
• sel4_config::wordBits
• sel4_config::wordRadix