Symbol: db_check_interrupt
sys/ddb/db_extern.h
53
void db_check_interrupt(void);
sys/ddb/db_output.c
181
db_check_interrupt();