Home
last modified time | relevance | path

Searched refs:seL4_BreakOnRead (Results 1 – 4 of 4) sorted by relevance

/seL4-master/libsel4/include/sel4/
A Dconstants.h26 seL4_BreakOnRead = 0, enumerator
/seL4-master/src/arch/arm/machine/
A Ddebug.c459 case seL4_BreakOnRead: in convertAccessToArch()
476 return seL4_BreakOnRead; in convertArchToAccess()
612 ret.rw = seL4_BreakOnRead; in getBreakpoint()
/seL4-master/src/arch/x86/machine/
A Dbreakpoint.c175 ret.rw = seL4_BreakOnRead; in convertArchToTypeAndAccess()
/seL4-master/src/object/
A Dtcb.c607 if (rw != seL4_BreakOnRead) { in decodeSetBreakpoint()
641 if (rw != seL4_BreakOnRead && rw != seL4_BreakOnWrite in decodeSetBreakpoint()

Completed in 11 milliseconds