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