Michael Brown 88e38fa148 We don't actually have a stdio.h header file. Our printf() functions are ... defined in vsprintf.h. (This may change, since vsprintf.h is a non-standard name, but for now it's the one to use.) There should be no need to include vsprintf.h just for DBG() statements, since include/compiler.h forces it in for a debug build anyway.		2006-09-27 10:58:14 +00:00
..
pxe.c	…
pxe_errors.c	…
pxe_loader.c	We don't actually have a stdio.h header file. Our printf() functions are	2006-09-27 10:58:14 +00:00
pxe_preboot.c	…
pxe_tftp.c	We don't actually have a stdio.h header file. Our printf() functions are	2006-09-27 10:58:14 +00:00
pxe_udp.c	We don't actually have a stdio.h header file. Our printf() functions are	2006-09-27 10:58:14 +00:00
pxe_undi.c	We don't actually have a stdio.h header file. Our printf() functions are	2006-09-27 10:58:14 +00:00