pintos/src/lib/kernel/stdio.h File Reference

Go to the source code of this file.

Functions
void	putbuf (const char *, size_t)

---

Function Documentation

void putbuf	(	const char *	,
		size_t
	)

Definition at line 153 of file console.c.

References acquire_console(), putchar_have_lock(), and release_console().