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

Go to the source code of this file.

Functions
int	hprintf (int, const char *,...) PRINTF_FORMAT(2
int int	vhprintf (int, const char *, va_list) PRINTF_FORMAT(2

---

Function Documentation

int hprintf	(	int	,
		const char *	,
			...
	)

int int vhprintf	(	int	,
		const char *	,
		va_list
	)