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

/seL4-test-master/kernel/include/machine/
H A Ddebug.h40 * @return Filled out getBreakpoint_t with the following fields:
55 } getBreakpoint_t; typedef in typeref:struct:getBreakpointRet
57 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num);
/seL4-test-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c445 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num)
448 getBreakpoint_t ret;
/seL4-test-master/kernel/src/arch/arm/machine/
H A Ddebug.c597 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num)
599 getBreakpoint_t ret;
/seL4-test-master/kernel/src/object/
H A Dtcb.c688 getBreakpoint_t res;

Completed in 101 milliseconds