Lines Matching +full:acpi +full:- +full:based
1 /*-
42 #include <contrib/dev/acpica/include/acpi.h>
49 * A timecounter based on the free-running ACPI timer.
51 * Based on the i386-only mp_clock.c by <phk@FreeBSD.ORG>.
54 /* Hooks for the ACPI CA debugging infrastructure */
92 DRIVER_MODULE(acpi_timer, acpi, acpi_timer_driver, 0, 0);
93 MODULE_DEPEND(acpi_timer, acpi, 1, 1, 1);
100 "ACPI", /* name */
101 -1 /* quality (chosen later) */
112 * Locate the ACPI timer using the FADT, set up and allocate the I/O resources
191 acpi_timer_timecounter.tc_name = "ACPI-fast"; in acpi_timer_probe()
196 device_set_descf(dev, "%d-bit timer at %u.%06uMHz", in acpi_timer_probe()
246 "restoring timecounter, %s -> %s\n", in acpi_timer_resume_handler()
247 tc->tc_name, newtc->tc_name); in acpi_timer_resume_handler()
248 (void)newtc->tc_get_timecount(newtc); in acpi_timer_resume_handler()
264 if ((timecounter->tc_flags & TC_FLAGS_SUSPEND_SAFE) != 0) { in acpi_timer_suspend_handler()
279 "switching timecounter, %s -> %s\n", in acpi_timer_suspend_handler()
280 tc->tc_name, newtc->tc_name); in acpi_timer_suspend_handler()
334 if (error == 0 && req->newptr != NULL) { in acpi_timer_sysctl_freq()
345 "ACPI timer frequency");