seL4_SoftwareBreakRequest (reference) in projects: seL4-master

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

/seL4-master/libsel4/include/sel4/
A D	constants.h	`20 seL4_SoftwareBreakRequest, enumerator`
/seL4-master/src/api/
A D	faults.c	`242 if (reason != seL4_SingleStep && reason != seL4_SoftwareBreakRequest) { in setMRs_fault()`
/seL4-master/src/arch/arm/machine/
A D	debug.c	`1125 bp_reason = seL4_SoftwareBreakRequest; in handleUserLevelDebugException() 1140 if (bp_reason != seL4_SoftwareBreakRequest) { in handleUserLevelDebugException()`
/seL4-master/src/arch/x86/machine/
A D	breakpoint.c	`606 0, seL4_SoftwareBreakRequest); in handleUserLevelDebugException()`
/seL4-master/src/object/
A D	tcb.c	`633 } else if (type == seL4_SoftwareBreakRequest) { in decodeSetBreakpoint()`

Completed in 14 milliseconds