Lines Matching refs:uint16_t
175 _name(uint16_t bp_num) \
236 _name(uint16_t bp_num, word_t val) \
304 readBcrContext(tcb_t *t, uint16_t index) in DEBUG_GENERATE_READ_FN()
310 static word_t readBvrContext(tcb_t *t, uint16_t index) in readBvrContext()
316 static word_t readWcrContext(tcb_t *t, uint16_t index) in readWcrContext()
322 static word_t readWvrContext(tcb_t *t, uint16_t index) in readWvrContext()
328 static void writeBcrContext(tcb_t *t, uint16_t index, word_t val) in writeBcrContext()
334 static void writeBvrContext(tcb_t *t, uint16_t index, word_t val) in writeBvrContext()
340 static void writeWcrContext(tcb_t *t, uint16_t index, word_t val) in writeWcrContext()
346 static void writeWvrContext(tcb_t *t, uint16_t index, word_t val) in writeWvrContext()
485 static uint16_t getBpNumFromType(uint16_t bp_num, word_t type) in getBpNumFromType()
530 uint16_t bp_num, in setBreakpoint()
597 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num) in getBreakpoint()
632 void unsetBreakpoint(tcb_t *t, uint16_t bp_num) in unsetBreakpoint()
663 uint16_t bp_num, in configureSingleStepping()