commit 7b49cd9418a57d7845def97dcb33d17e399e3d91
author Kevin O'Connor <kevin@koconnor.net> Sat Nov 08 10:35:26 2008 -0500
committer Kevin O'Connor <kevin@koconnor.net> Sat Nov 08 10:35:26 2008 -0500
tree 5b441a7f3d7a8f9f5f20c851931291d3435bd7a7
parent eadf1ee19767528b1db729058bbef4a29d8c7d76

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

src/acpi.c

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 @@
     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

src/mptable.c

diff --git a/src/mptable.c b/src/mptable.c
index 7d85399..49a88e4 100644
--- a/src/mptable.c
+++ b/src/mptable.c
@@ -52,6 +52,8 @@
     if (! CONFIG_MPTABLE)
         return;
 
+    dprintf(3, "init MPTable\n");
+
     u8 *mp_config_table, *q, *float_pointer_struct;
     int ioapic_id, i, len;
     int mp_config_table_size;

src/pirtable.c

diff --git a/src/pirtable.c b/src/pirtable.c
index 75c4693..c016d6d 100644
--- a/src/pirtable.c
+++ b/src/pirtable.c
@@ -92,6 +92,8 @@
     if (! CONFIG_PIRTABLE)
         return;
 
+    dprintf(3, "init PIR table\n");
+
     PIR_TABLE.pir.signature = PIR_SIGNATURE;
     PIR_TABLE.pir.checksum = -checksum((u8*)&PIR_TABLE, sizeof(PIR_TABLE));
     SET_EBDA(pir_loc, (u32)&PIR_TABLE);

src/smbios.c

diff --git a/src/smbios.c b/src/smbios.c
index ccea9ef..4510148 100644
--- a/src/smbios.c
+++ b/src/smbios.c
@@ -538,6 +538,8 @@
     if (! CONFIG_SMBIOS)
         return;
 
+    dprintf(3, "init SMBIOS tables\n");
+
     unsigned cpu_num, nr_structs = 0, max_struct_size = 0;
     char *start, *p, *q;
 

src/smm.c

diff --git a/src/smm.c b/src/smm.c
index 5d01467..067df0a 100644
--- a/src/smm.c
+++ b/src/smm.c
@@ -79,6 +79,8 @@
     if (!CONFIG_USE_SMM)
         return;
 
+    dprintf(3, "init smm\n");
+
     // This code is hardcoded for PIIX4 Power Management device.
     PCIDevice i440_pcidev, d;
     int ret = pci_find_device(PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_82371AB_3