Module sel4_common::registers

Constants

• FaultIP
• MAX_MSG_SIZE
• NextIP
• SCAUSE
• SSTATUS
• SSTATUS_SPIE
• SSTATUS_SPP
• TLS_BASE
• badgeRegister
• capRegister
• fault_messages
• msgInfoRegister
• msgRegister
• n_contextRegisters
• n_exceptionMessage
• n_msgRegisters
• n_syscallMessage
• ra
• sp