Searched refs:acpi_timer_dev (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.2-release/sys/dev/acpica/
H A Dacpi_timer.c60 static device_t acpi_timer_dev; variable
128 acpi_timer_dev)
135 acpi_timer_dev = dev;
164 if (dev != acpi_timer_dev)
269 device_printf(acpi_timer_dev,
303 device_printf(acpi_timer_dev,
449 device_printf(acpi_timer_dev, "timer test in progress, reboot to quit.\n");
457 device_printf(acpi_timer_dev,

Completed in 47 milliseconds