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

/freebsd-11-stable/sys/dev/acpica/
H A Dacpi_timer.c71 static void acpi_timer_identify(driver_t *driver, device_t parent);
84 DEVMETHOD(device_identify, acpi_timer_identify),
122 acpi_timer_identify(driver_t *driver, device_t parent) function

Completed in 50 milliseconds