options DDB_TRACE
options INVARIANTS
-# ACPI options
-#options ACPI_QUIRK_VMWARE # VMware's ACPI-fast24 timer is broken
-
device isa
device eisa
device pci
options DDB_TRACE
options INVARIANTS
-# ACPI options
-#options ACPI_QUIRK_VMWARE # VMware's ACPI-fast24 timer is broken
-
device isa
device eisa
device pci
options DDB_TRACE
options INVARIANTS
-# ACPI options
-#options ACPI_QUIRK_VMWARE # VMware's ACPI-fast24 timer is broken
-
device isa
device eisa
device pci
.Sh SYNOPSIS
.Cd "device acpi"
.Pp
-.Cd "options ACPI_QUIRK_VMWARE"
.Cd "options ACPI_DEBUG"
.Sh DESCRIPTION
The
ACPI core support is provided by the ACPI CA reference implementation
from Intel.
.Pp
-It was observed that when running
-.Dx
-as a guest in VMware 5.5.1 under SMP conditions, VMware's ACPI-fast24
-timer runs roughly 65 times too fast.
-The
-.Dv ACPI_QUIRK_VMWARE
-option can be specified in the kernel configuration file in order to
-fix this problem.
-.Pp
Note that the
.Nm
driver is automatically loaded by the
#options for ACPI support
ACPI_DEBUG opt_acpi.h
ACPI_NO_SEMAPHORES opt_acpi.h
-ACPI_QUIRK_VMWARE opt_acpi.h
ACPI_ENABLE_PCI opt_acpi.h
# Miscellaneous options.
options DDB_TRACE
options INVARIANTS
-# ACPI options
-#options ACPI_QUIRK_VMWARE # VMware's ACPI-fast24 timer is broken
-
device isa
device eisa
device pci
options DDB_TRACE
options INVARIANTS
-# ACPI options
-#options ACPI_QUIRK_VMWARE # VMware's ACPI-fast24 timer is broken
-
device isa
##device eisa
device pci
options ACPI_DEBUG
#options ACPI_NO_SEMAPHORES
-options ACPI_QUIRK_VMWARE
options AHC_DUMP_EEPROM
#options BKTR_ALLOC_PAGES=xxx
options CAM_DEBUG_DELAY
options DDB_TRACE
options INVARIANTS
-# ACPI options
-#options ACPI_QUIRK_VMWARE # VMware's ACPI-fast24 timer is broken
-
device isa
device pci