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

/seL4-master/libsel4/include/sel4/
A D	constants.h	27 seL4_BreakOnWrite, enumerator
/seL4-master/src/arch/x86/machine/
A D	breakpoint.c	120 type = (rw == seL4_BreakOnWrite) in convertTypeAndAccessToArch() 179 ret.rw = seL4_BreakOnWrite; in convertArchToTypeAndAccess()
/seL4-master/src/arch/arm/machine/
A D	debug.c	461 case seL4_BreakOnWrite: in convertAccessToArch() 478 return seL4_BreakOnWrite; in convertArchToAccess()
/seL4-master/src/object/
A D	tcb.c	641 if (rw != seL4_BreakOnRead && rw != seL4_BreakOnWrite in decodeSetBreakpoint()

Completed in 16 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023