acpi_timer_identify
static void acpi_timer_identify(driver_t *driver, device_t parent);
DEVMETHOD(device_identify, acpi_timer_identify),