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

/seL4-l4v-10.1.1/seL4/include/api/
H A Dconstants.h26 seL4_InstructionBreakpoint, enumerator in enum:__anon111
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dconstants.h26 seL4_InstructionBreakpoint, enumerator in enum:__anon176
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Ddebug.h135 : seL4_InstructionBreakpoint;
161 type = seL4_InstructionBreakpoint;
168 if (type != seL4_InstructionBreakpoint || bp_num >= seL4_FirstWatchpoint) {
211 } else if (type == seL4_InstructionBreakpoint) {
272 if (type == seL4_InstructionBreakpoint) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Ddebug.c509 assert(type == seL4_InstructionBreakpoint || type == seL4_DataBreakpoint
513 case seL4_InstructionBreakpoint:
579 if (type == seL4_InstructionBreakpoint) {
629 if (ret.type == seL4_InstructionBreakpoint) {
665 if (type == seL4_InstructionBreakpoint) {
974 if (reason == seL4_InstructionBreakpoint) {
1122 bp_reason = seL4_InstructionBreakpoint;
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dbreakpoint.c128 case seL4_InstructionBreakpoint:
188 ret.type = seL4_InstructionBreakpoint;
213 if (type == seL4_InstructionBreakpoint) {
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c508 if (type != seL4_InstructionBreakpoint && type != seL4_DataBreakpoint) {
513 } else if (type == seL4_InstructionBreakpoint) {
528 userError("Debug: Can't specify a watchpoint ID with type seL4_InstructionBreakpoint.");

Completed in 52 milliseconds