sys/platform/pc64/acpica/acpi_madt.c

253

MADT_VPRINTF("LAPIC address 0x%x, flags %#x\n",

sys/platform/pc64/acpica/acpi_madt.c

304

MADT_VPRINTF("cpu id %d, acpi id %d, apic id %d\n",

sys/platform/pc64/acpica/acpi_madt.c

340

MADT_VPRINTF("cpu id %d, acpi uid %u, apic id %d\n",

sys/platform/pc64/acpica/acpi_madt.c

356

MADT_VPRINTF("BSP apic id %d\n", bsp_apic_id);

sys/platform/pc64/acpica/acpi_madt.c

603

MADT_VPRINTF("warning invalid intsrc irq %d "

sys/platform/pc64/acpica/acpi_madt.c

612

MADT_VPRINTF("warning invalid intsrc irq %d "

sys/platform/pc64/acpica/acpi_madt.c

701

MADT_VPRINTF("SCI irq %d, first test %s/%s\n",

sys/platform/pc64/acpica/acpi_madt.c

717

MADT_VPRINTF("INTSRC irq %d -> gsi %u %s/%s\n",

sys/platform/pc64/acpica/acpi_madt.c

729

MADT_VPRINTF("IOAPIC addr 0x%08x, apic id %d, gsi base %u\n",