namebuf           170 kern/thread/thread.c 	char namebuf[16];
namebuf           197 kern/thread/thread.c 	snprintf(namebuf, sizeof(namebuf), "<boot #%d>", c->c_number);
namebuf           198 kern/thread/thread.c 	c->c_curthread = thread_create(namebuf);
namebuf           398 kern/vfs/device.c 	       char *namebuf, size_t buflen)
namebuf           406 kern/vfs/device.c 	(void)namebuf;