From 2c98f49dc5d2fe0c02e39ffd3a472b550c0dccc8 Mon Sep 17 00:00:00 2001 From: Anna Lyons Date: Wed, 8 Feb 2017 17:16:06 +1100 Subject: [PATCH] Add missing case to seL4_getFault --- libsel4/include/sel4/faults.h | 1 + 1 file changed, 1 insertion(+) diff --git a/libsel4/include/sel4/faults.h b/libsel4/include/sel4/faults.h index 1817c3738..8b88cb999 100644 --- a/libsel4/include/sel4/faults.h +++ b/libsel4/include/sel4/faults.h @@ -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),