From 88e38fa1483891f273f063f92ef71a5c33fe5406 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Wed, 27 Sep 2006 10:58:14 +0000 Subject: 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. --- src/drivers/bus/pci.c | 1 - src/drivers/bus/pciextra.c | 1 - 2 files changed, 2 deletions(-) (limited to 'src/drivers/bus') diff --git a/src/drivers/bus/pci.c b/src/drivers/bus/pci.c index 6f72bb90d..222f3eeab 100644 --- a/src/drivers/bus/pci.c +++ b/src/drivers/bus/pci.c @@ -19,7 +19,6 @@ * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ -#include #include #include #include diff --git a/src/drivers/bus/pciextra.c b/src/drivers/bus/pciextra.c index 5d8150005..4603bcb9a 100644 --- a/src/drivers/bus/pciextra.c +++ b/src/drivers/bus/pciextra.c @@ -1,4 +1,3 @@ -#include #include #include -- cgit v1.2.3-55-g7522