Home
last modified time | relevance | path

Searched refs:seL4_SingleStep (Results 1 – 5 of 5) sorted by relevance

/seL4-master/libsel4/include/sel4/
A Dconstants.h19 seL4_SingleStep, enumerator
/seL4-master/src/api/
A Dfaults.c143 if (seL4_Fault_DebugException_get_exceptionReason(fault) != seL4_SingleStep) { in handleFaultReply()
242 if (reason != seL4_SingleStep && reason != seL4_SoftwareBreakRequest) { in setMRs_fault()
/seL4-master/src/arch/arm/machine/
A Ddebug.c488 || type == seL4_SingleStep); in getBpNumFromType()
492 case seL4_SingleStep: in getBpNumFromType()
609 ret.type = seL4_SingleStep; in getBreakpoint()
1101 bp_reason = seL4_SingleStep; in handleUserLevelDebugException()
1131 && bp_reason != seL4_SingleStep) { in handleUserLevelDebugException()
/seL4-master/src/arch/x86/machine/
A Dbreakpoint.c626 0, seL4_SingleStep); in handleUserLevelDebugException()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c1258 if (seL4_Fault_DebugException_get_exceptionReason(current_fault) == seL4_SingleStep in handleVMFault()

Completed in 14 milliseconds