Searched refs:seL4_DebugException_FaultIP (Results 1 – 3 of 3) sorted by relevance
35 seL4_DebugException_FaultIP, enumerator
27 return seL4_Fault_DebugException_new(seL4_GetMR(seL4_DebugException_FaultIP), in seL4_getFault()
238 seL4_DebugException_FaultIP, getRestartPC(sender)); in setMRs_fault()
Completed in 4 milliseconds