Symbol: ACPI_REGISTER_PM_TIMER
src/add-ons/kernel/bus_managers/acpi/acpica/components/hardware/hwregs.c
733
case ACPI_REGISTER_PM_TIMER: /* 32-bit access */
src/add-ons/kernel/bus_managers/acpi/acpica/components/hardware/hwregs.c
874
case ACPI_REGISTER_PM_TIMER: /* 32-bit access */