msg               171 kern/test/synchtest.c fail(unsigned long num, const char *msg)
msg               173 kern/test/synchtest.c 	kprintf("thread %lu: Mismatch on %s\n", num, msg);
msg                41 user/include/assert.h void __bad_assert(const char *file, int line, const char *msg);
msg                57 user/testbin/tictac/tictac.c bool ask_yesno(const char *msg);
msg               179 user/testbin/tictac/tictac.c ask_yesno(const char *msg)
msg               184 user/testbin/tictac/tictac.c 		printf("%s [yes/no] ", msg);