All symbols starting with `k' in osfmk/ddb

• kdbprintf osfmk/ddb/db_output.c:455
• kernel_map osfmk/ddb/db_watch.c:166