All symbols starting with 'k' in ddb

• kdbprintf ddb/db_output.c:153