Searched refs:watchpoints_supported (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/arm/machine/ | ||
| H A D | debug.c | 100 watchpoints_supported; member in struct:debug_state 739 dbg.breakpoints_supported = dbg.watchpoints_supported = |
Completed in 37 milliseconds