diff options
author | Kevin O'Connor <kevin@koconnor.net> | 2008-11-08 10:35:26 -0500 |
---|---|---|
committer | Kevin O'Connor <kevin@koconnor.net> | 2008-11-08 10:35:26 -0500 |
commit | 7b49cd9418a57d7845def97dcb33d17e399e3d91 (patch) | |
tree | 5b441a7f3d7a8f9f5f20c851931291d3435bd7a7 | |
parent | eadf1ee19767528b1db729058bbef4a29d8c7d76 (diff) | |
download | seabios-hppa-7b49cd9418a57d7845def97dcb33d17e399e3d91.zip seabios-hppa-7b49cd9418a57d7845def97dcb33d17e399e3d91.tar.gz seabios-hppa-7b49cd9418a57d7845def97dcb33d17e399e3d91.tar.bz2 |
Add dprintf() status writes during startup of bios table inits.
-rw-r--r-- | src/acpi.c | 2 | ||||
-rw-r--r-- | src/mptable.c | 2 | ||||
-rw-r--r-- | src/pirtable.c | 2 | ||||
-rw-r--r-- | src/smbios.c | 2 | ||||
-rw-r--r-- | src/smm.c | 2 |
5 files changed, 10 insertions, 0 deletions
@@ -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 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 @@ mptable_init(void) 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; 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 @@ create_pirtable() 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); 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 @@ smbios_init(void) if (! CONFIG_SMBIOS) return; + dprintf(3, "init SMBIOS tables\n"); + unsigned cpu_num, nr_structs = 0, max_struct_size = 0; char *start, *p, *q; @@ -79,6 +79,8 @@ smm_init() 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 |