Searched refs:invokeGetBreakpoint (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/object/ | ||
H A D | tcb.c | 686 static exception_t invokeGetBreakpoint(word_t *buffer, tcb_t *tcb, uint16_t bp_num) function 715 return invokeGetBreakpoint(buffer, tcb, bp_num); |
Completed in 27 milliseconds