Symbol: PIIX4_DEVACTB_REG
sys/dev/acpica/acpi_cpu.c
1349
val = pci_read_config(acpi_dev, PIIX4_DEVACTB_REG, 4);
sys/dev/acpica/acpi_cpu.c
1354
pci_write_config(acpi_dev, PIIX4_DEVACTB_REG, val, 4);