Searched refs:db_check_interrupt (Results 1 – 4 of 4) sorted by relevance
53 void db_check_interrupt(void);
181 db_check_interrupt(); in db_putchar()
371 db_check_interrupt(void) in db_check_interrupt() function
303 db_check_interrupt(void) in db_check_interrupt() function