All symbols starting with `k' in ddb
kdb_init
ddb/db_aout.c:229
kdbprintf
ddb/db_output.c:176