Home
last modified time | relevance | path

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

/seL4-master/include/arch/arm/arch/machine/
A Ddebug.h124 ? seL4_DataBreakpoint in getTypeFromBpNum()
191 if (type == seL4_DataBreakpoint) { in Arch_decodeSetBreakpoint()
215 if (size == 8 && type != seL4_DataBreakpoint) { in Arch_decodeSetBreakpoint()
/seL4-master/libsel4/include/sel4/
A Dconstants.h17 seL4_DataBreakpoint = 0, enumerator
/seL4-master/src/arch/x86/machine/
A Dbreakpoint.c119 assert(type == seL4_DataBreakpoint); in convertTypeAndAccessToArch()
178 ret.type = seL4_DataBreakpoint; in convertArchToTypeAndAccess()
183 ret.type = seL4_DataBreakpoint; in convertArchToTypeAndAccess()
/seL4-master/src/arch/arm/machine/
A Ddebug.c487 assert(type == seL4_InstructionBreakpoint || type == seL4_DataBreakpoint in getBpNumFromType()
495 assert(type == seL4_DataBreakpoint); in getBpNumFromType()
958 if (reason == seL4_DataBreakpoint) { in getAndResetActiveBreakpoint()
1108 bp_reason = seL4_DataBreakpoint; in handleUserLevelDebugException()
1118 bp_reason = seL4_DataBreakpoint; in handleUserLevelDebugException()
/seL4-master/src/object/
A Dtcb.c595 if (type != seL4_InstructionBreakpoint && type != seL4_DataBreakpoint) { in decodeSetBreakpoint()
620 } else if (type == seL4_DataBreakpoint) { in decodeSetBreakpoint()

Completed in 11 milliseconds