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);79 DEVMETHOD(device_identify, acpi_timer_identify),116 acpi_timer_identify(driver_t *driver, device_t parent) in acpi_timer_identify() function