ACPICPU(4) - Device Drivers Manual # ACPICPU(4) - Device Drivers Manual
NAME # acpicpu - ACPI processor power and performance state
SYNOPSIS # acpicpu* at acpi?
DESCRIPTION # The acpicpu driver provides support for extracting processor power and performance levels from ACPI tables. This information is used to enter deeper CPU power states when idle, and can be used to throttle processor speed to reduce power usage and extend battery life through the hw.
...
ACPIDOCK(4) - Device Drivers Manual # ACPIDOCK(4) - Device Drivers Manual
NAME # acpidock - ACPI docking station
SYNOPSIS # acpidock* at acpi?
DESCRIPTION # The acpidock driver supports ACPI docking stations. Docking stations are units that, for example, laptops may attach to in order to expose a number of additional hardware devices. The acpidock driver handles docking and undocking machines to gracefully detach external devices.
When docking and undocking, an event is passed to the driver which is then reacted upon.
...
ACPIEC(4) - Device Drivers Manual # ACPIEC(4) - Device Drivers Manual
NAME # acpiec - ACPI embedded controller
SYNOPSIS # acpiec* at acpi?
DESCRIPTION # The acpiec driver supports ACPI Embedded Controllers. It provides embedded controller access for other ACPI devices. On many systems which have an acpiec device, other ACPI devices such as acpiac(4), acpibat(4), and acpitz(4) implicitly depend on the acpiec device.
SEE ALSO # acpi(4), intro(4)
...
ACPIGE(4) - Device Drivers Manual # ACPIGE(4) - Device Drivers Manual
NAME # acpige - ACPI generic event device
SYNOPSIS # acpige* at acpi?
DESCRIPTION # The acpige driver reacts to external events and notifies the corresponding handler.
SEE ALSO # acpi(4), intro(4)
HISTORY # The acpige driver first appeared in OpenBSD 6.9.
AUTHORS # The acpige driver was written by Patrick Wildt <patrick@blueri.se>.
OpenBSD 7.5 - November 15, 2020
ACPIHPET(4) - Device Drivers Manual # ACPIHPET(4) - Device Drivers Manual
NAME # acpihpet - ACPI high precision event timer
SYNOPSIS # acpihpet* at acpi?
DESCRIPTION # The acpihpet driver provides support for the high precision event timer to be used as a timecounter for the tc_init(9) framework.
SEE ALSO # acpi(4), intro(4), tc_init(9)
HISTORY # The acpihpet driver first appeared in OpenBSD 3.8.
AUTHORS # The acpihpet driver was written by Thorsten Lockert <tholo@sigmasoft.
...
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.
...
ACPIMCFG(4) - Device Drivers Manual # ACPIMCFG(4) - Device Drivers Manual
NAME # acpimcfg - ACPI PCI Express configuration space
SYNOPSIS # acpimcfg* at acpi?
DESCRIPTION # The acpimcfg driver configures access to PCI Express configuration space based on information extracted from the ACPI MCFG table.
SEE ALSO # acpi(4), intro(4), pci(4)
HISTORY # The acpimcfg driver first appeared in OpenBSD 4.9.
AUTHORS # The acpimcfg driver was written by Mark Kettenis <kettenis@openbsd.
...
ACPIPCI(4) - Device Drivers Manual # ACPIPCI(4) - Device Drivers Manual
NAME # acpipci - ACPI PCI host bridge
SYNOPSIS # acpipci* at acpi? pci* at acpipci? (arm64)
DESCRIPTION # The acpipci driver provides support for PCI host bridges based on the information extracted from the ACPI DSDT and SSDT tables.
SEE ALSO # acpi(4), intro(4), pci(4)
HISTORY # The acpipci driver first appeared in OpenBSD 6.4.
AUTHORS # The acpipci driver was written by Mark Kettenis <kettenis@openbsd.
...
ACPIPRT(4) - Device Drivers Manual # ACPIPRT(4) - Device Drivers Manual
NAME # acpiprt - ACPI PCI routing table configuration
SYNOPSIS # acpiprt* at acpi?
DESCRIPTION # The acpiprt driver provides interrupt mapping information for PCI devices based on information from ACPI PCI Routing Table objects. Typically there is one PCI Routing Table object for every PCI bus in the system, each handled by a separate acpiprt device.
SEE ALSO # acpi(4), intro(4), pci(4)
...
ACPIPWRRES(4) - Device Drivers Manual # ACPIPWRRES(4) - Device Drivers Manual
NAME # acpipwrres - ACPI power resources
SYNOPSIS # acpipwrres* at acpi?
DESCRIPTION # The acpipwrres driver provides support for the ACPI power resources management. A power resource refers to a software-controllable power plane, clock plane or other resource upon which an integrated ACPI power-managed device might rely.
SEE ALSO # acpi(4), intro(4)
HISTORY # The acpipwrres driver first appeared in OpenBSD 4.
...