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

/freebsd-10.2-release/sys/dev/acpica/
H A Dacpi_timer.c68 static void acpi_timer_identify(driver_t *driver, device_t parent);
81 DEVMETHOD(device_identify, acpi_timer_identify),
119 acpi_timer_identify(driver_t *driver, device_t parent) function

Completed in 144 milliseconds