Searched refs:seL4_SoftwareBreakRequest (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dconstants.h28 seL4_SoftwareBreakRequest, enumerator in enum:__anon111
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dconstants.h28 seL4_SoftwareBreakRequest, enumerator in enum:__anon176
/seL4-l4v-10.1.1/seL4/src/api/
H A Dfaults.c230 if (reason != seL4_SingleStep && reason != seL4_SoftwareBreakRequest) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dbreakpoint.c634 0, seL4_SoftwareBreakRequest);
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Ddebug.c1166 bp_reason = seL4_SoftwareBreakRequest;
1181 if (bp_reason != seL4_SoftwareBreakRequest) {
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c546 } else if (type == seL4_SoftwareBreakRequest) {

Completed in 51 milliseconds