Searched refs:byte8WatchpointsSupported (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h179 bool_t byte8WatchpointsSupported(void);
209 if (size == 8 && !byte8WatchpointsSupported()) {
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c106 bool_t byte8WatchpointsSupported(void) function

Completed in 36 milliseconds