<dec f='src/src/sys/ddb/db_extern.h' l='53' type='void db_check_interrupt()'/>
<def f='src/src/sys/ddb/db_input.c' l='376' ll='404' type='void db_check_interrupt()'/>
<use f='src/src/sys/ddb/db_output.c' l='168' u='c' c='db_putchar'/>
