4 files changed, 4 insertions, 4 deletions
diff --git a/src/drivers/bus/pci.c b/src/drivers/bus/pci.c
index 56436b7d6..e8f34fba3 100644
--- a/src/drivers/bus/pci.c
+++ b/src/drivers/bus/pci.c
@@ -21,9 +21,9 @@
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <stdio.h>
 #include <string.h>
 #include <errno.h>
-#include <vsprintf.h>
 #include <gpxe/tables.h>
 #include <gpxe/device.h>
 #include <gpxe/pci.h>
diff --git a/src/drivers/net/legacy.c b/src/drivers/net/legacy.c
index 73d1d7871..1719c82af 100644
--- a/src/drivers/net/legacy.c
+++ b/src/drivers/net/legacy.c
@@ -1,6 +1,6 @@
 #include <stdint.h>
+#include <stdio.h>
 #include <errno.h>
-#include <vsprintf.h>
 #include <gpxe/if_ether.h>
 #include <gpxe/netdevice.h>
 #include <gpxe/ethernet.h>
diff --git a/src/drivers/net/pnic.c b/src/drivers/net/pnic.c
index 21097d2ec..7f4424202 100644
--- a/src/drivers/net/pnic.c
+++ b/src/drivers/net/pnic.c
@@ -13,8 +13,8 @@ Bochs Pseudo NIC driver for Etherboot
  */
 
 #include <stdint.h>
+#include <stdio.h>
 #include <io.h>
-#include <vsprintf.h>
 #include <errno.h>
 #include <gpxe/pci.h>
 #include <gpxe/if_ether.h>
diff --git a/src/drivers/net/rtl8139.c b/src/drivers/net/rtl8139.c
index ff1fa646a..d3b89223a 100644
--- a/src/drivers/net/rtl8139.c
+++ b/src/drivers/net/rtl8139.c
@@ -68,9 +68,9 @@
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <stdio.h>
 #include <io.h>
 #include <errno.h>
-#include <vsprintf.h>
 #include <timer.h>
 #include <byteswap.h>
 #include <gpxe/pci.h>