portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add missing case to seL4_getFault

Browse source
This commit is contained in:
Anna Lyons 2017-02-08 17:16:06 +11:00
parent 43dcc5addb
commit 2c98f49dc5
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
libsel4/include/sel4/faults.h
View file

@ -29,6 +29,7 @@ seL4_getFault(seL4_MessageInfo_t tag)
seL4_GetMR(seL4_CapFault_GuardMismatch_GuardFound),
seL4_GetMR(seL4_CapFault_GuardMismatch_BitsFound));
#ifdef CONFIG_HARDWARE_DEBUG_API
case seL4_Fault_DebugException:
return seL4_Fault_DebugException_new(seL4_GetMR(seL4_DebugException_FaultIP),
seL4_GetMR(seL4_DebugException_ExceptionReason),
seL4_GetMR(seL4_DebugException_TriggerAddress),