Lines Matching refs:BX_INFO
620 BX_INFO("ram_size=0x%08lx\n", ram_size);
627 BX_INFO("end of ram=%ldMB\n", ram_end >> 20);
630 BX_INFO("ebda_cur_addr: 0x%08lx\n", ebda_cur_addr);
669 BX_INFO("Found %d cpu(s)\n", readw(&smp_cpus));
768 BX_INFO("region %d: 0x%08x\n", region_num, addr);
798 BX_INFO("bios_table_addr: 0x%08lx end=0x%08lx\n",
863 BX_INFO("PIIX3/PIIX4 init: elcr=%02x %02x\n",
940 BX_INFO("PCI: bus=%d devfn=0x%02x: vendor_id=0x%04x device_id=0x%04x class=0x%04x\n",
1246 BX_INFO("MP table addr=0x%08lx MPC table addr=0x%08lx size=0x%x\n",
1777 BX_INFO("Firmware waking vector %p\n", &facs->firmware_waking_vector);
1925 BX_INFO("ACPI tables: RSDP addr=0x%08lx ACPI DATA addr=0x%08lx size=0x%x\n",
2632 BX_INFO("SMBIOS table addr=0x%08lx\n", (unsigned long)start);
2686 BX_INFO("Starting rombios32\n");
2687 BX_INFO("Shutdown flag %x\n", *shutdown_flag);
2709 BX_INFO("This is S3 resume but wakeup vector is NULL\n");
2711 BX_INFO("S3 resume vector %p\n", *s3_resume_vector);
2730 BX_INFO("bios_table_cur_addr: 0x%08lx\n", bios_table_cur_addr);
2734 BX_INFO("ebda_cur_addr: 0x%08lx\n", ebda_cur_addr);
