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

/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c97 bool_t is_available, coprocessor_is_baseline_only, watchpoint_8b_supported, member in struct:debug_state
108 return dbg.watchpoint_8b_supported;
913 dbg.watchpoint_8b_supported = watchpoint8bSupported();

Completed in 24 milliseconds