seL4_DebugException_FaultIP (reference) in projects: seL4-master

Searched refs:seL4_DebugException_FaultIP (Results 1 – 3 of 3) sorted by relevance

/seL4-master/libsel4/include/sel4/
A D	constants.h	`35 seL4_DebugException_FaultIP, enumerator`
A D	faults.h	`27 return seL4_Fault_DebugException_new(seL4_GetMR(seL4_DebugException_FaultIP), in seL4_getFault()`
/seL4-master/src/api/
A D	faults.c	`238 seL4_DebugException_FaultIP, getRestartPC(sender)); in setMRs_fault()`

Completed in 4 milliseconds