Thank you, links are very helpful On Mon, Jan 22, 2024 at 4:36 PM Alwin Joshy <alwin.jo...@unsw.edu.au> wrote:
> Hi Leonid, > > Not sure if/where there is complete documentation for what you're asking, > but the reference manual has register descriptions for some of the > mentioned faults in chapter 6.2. For the ones that don't have full register > descriptions there, you might find the following files useful > > > https://github.com/seL4/seL4/blob/cc3205ea486f6ce3da3a64d8a99e166f047b8419/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h > <https://github.com/seL4/seL4/blob/cc3205ea486f6ce3da3a64d8a99e166f047b8419/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h#L48> > > https://github.com/seL4/seL4/blob/master/libsel4/include/sel4/shared_types.h#L23 > > https://github.com/seL4/seL4/blob/master/src/api/faults.c#L191 > > https://github.com/seL4/seL4/blob/master/include/arch/arm/arch/64/mode/machine/registerset.h#L177 > https://github.com/seL4/seL4/blob/master/src/arch/arm/api/faults.c#L33 > > - Alwin > > ------------------------------ > *From:* Leonid Meyerovich <leo...@trustedst.com> > *Sent:* Tuesday, January 23, 2024 7:03 AM > *To:* devel@sel4.systems <devel@sel4.systems> > *Subject:* [seL4] seL4 fault handling > > [Some people who received this message don't often get email from > leo...@trustedst.com. Learn why this is important at > https://aka.ms/LearnAboutSenderIdentification ] > > Hello, > > Where can I find a comprehensive description of fault message registers for > every of the following faults > > enum seL4_Fault_tag { > seL4_Fault_NullFault = 0, > seL4_Fault_CapFault = 1, > seL4_Fault_UnknownSyscall = 2, > seL4_Fault_UserException = 3, > seL4_Fault_VMFault = 5, > seL4_Fault_VGICMaintenance = 6, > seL4_Fault_VCPUFault = 7, > seL4_Fault_VPPIEvent = 8 > }; > > Thanks, > LM > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
