write_mem_msg     578 kernel/debug/gdbstub.c 	int err = write_mem_msg(0);
write_mem_msg     643 kernel/debug/gdbstub.c 	int err = write_mem_msg(1);