setpci: Decorate trace() with PCI_PRINTF.

diff --git a/setpci.c b/setpci.c
index 50d2a898c7bb81db3c641108134adbd931f2fe16..e4864b083486d7cd4f2ac43baa3731cfb4294246 100644 (file)
--- a/setpci.c
+++ b/setpci.c
@@ -60,7 +60,7 @@ select_devices(struct pci_filter *filt)
   return b;
 }
 
-static void
+static void PCI_PRINTF(1,2)
 trace(const char *fmt, ...)
 {
   va_list args;