ACPIMADT(4) - Device Drivers Manual # ACPIMADT(4) - Device Drivers Manual
NAME # acpimadt - ACPI APIC configuration
SYNOPSIS # acpimadt* at acpi?
DESCRIPTION # The acpimadt driver configures system processors and I/O APICs based on information extracted from the ACPI APIC table.
SEE ALSO # acpi(4), cpu(4), intro(4), ioapic(4)
HISTORY # The acpimadt driver first appeared in OpenBSD 4.1.
AUTHORS # The acpimadt driver was written by Mark Kettenis <kettenis@openbsd.
...
MPBIOS(4) - Device Drivers Manual (amd64) # MPBIOS(4) - Device Drivers Manual (amd64)
NAME # mpbios - MP BIOS
SYNOPSIS # mpbios0 at bios0
DESCRIPTION # The mpbios driver extracts configuration information from the BIOS on multiprocessor systems that conform to the Intel MultiProcessor Specification. This information is used to attach application processors and APICs, and to assign interrupts to ISA, EISA and PCI devices.
On modern systems this information is provided by ACPI through the acpimadt(4) device.
...
MPBIOS(4) - Device Drivers Manual (i386) # MPBIOS(4) - Device Drivers Manual (i386)
NAME # mpbios - MP BIOS
SYNOPSIS # mpbios0 at bios0
DESCRIPTION # The mpbios driver extracts configuration information from the BIOS on multiprocessor systems that conform to the Intel MultiProcessor Specification. This information is used to attach application processors and APICs, and to assign interrupts to ISA, EISA and PCI devices.
On modern systems this information is provided by ACPI through the acpimadt(4) device.
...