Symbol: kdb_msg_write
kernel/debug/kdb/kdb_io.c
781
kdb_msg_write(cp, retlen - (cp - kdb_buffer));
kernel/debug/kdb/kdb_io.c
831
kdb_msg_write(moreprompt, strlen(moreprompt));