Searched refs:breakpointIsEnabled (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/arch/x86/machine/ | ||
H A D | breakpoint.c | 348 static bool_t breakpointIsEnabled(tcb_t *t, uint16_t bp_num) function 457 ret.is_enabled = breakpointIsEnabled(t, bp_num); |
Completed in 27 milliseconds