Add dprintf() status writes during startup of bios table inits.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/acpi.c b/src/acpi.c
index f37f583..7f02b81 100644
--- a/src/acpi.c
+++ b/src/acpi.c
@@ -277,6 +277,8 @@ void acpi_bios_init(void)
     if (! CONFIG_ACPI)
         return;
 
+    dprintf(3, "init ACPI tables\n");
+
     // This code is hardcoded for PIIX4 Power Management device.
     PCIDevice d;
     int ret = pci_find_device(PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82371AB_3