Searched refs:acpi_timer_identify (Results 1 – 1 of 1) sorted by relevance
69 static void acpi_timer_identify(driver_t *driver, device_t parent);84 DEVMETHOD(device_identify, acpi_timer_identify),121 acpi_timer_identify(driver_t *driver, device_t parent) in acpi_timer_identify() function