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

/seL4-l4v-10.1.1/seL4/include/api/
H A Dconstants.h25 seL4_DataBreakpoint = 0, enumerator in enum:__anon111
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dconstants.h25 seL4_DataBreakpoint = 0, enumerator in enum:__anon176
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Ddebug.h134 ? seL4_DataBreakpoint
203 if (type == seL4_DataBreakpoint) {
227 if (size == 8 && type != seL4_DataBreakpoint) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dbreakpoint.c131 default: /* seL4_DataBreakpoint */
132 assert(type == seL4_DataBreakpoint);
192 ret.type = seL4_DataBreakpoint;
197 ret.type = seL4_DataBreakpoint;
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Ddebug.c509 assert(type == seL4_InstructionBreakpoint || type == seL4_DataBreakpoint
516 default: /* seL4_DataBreakpoint: */
517 assert(type == seL4_DataBreakpoint);
996 if (reason == seL4_DataBreakpoint) {
1149 bp_reason = seL4_DataBreakpoint;
1159 bp_reason = seL4_DataBreakpoint;
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c508 if (type != seL4_InstructionBreakpoint && type != seL4_DataBreakpoint) {
533 } else if (type == seL4_DataBreakpoint) {

Completed in 57 milliseconds