Symbol: acpi_timer_identify
sys/dev/acpica/acpi_timer.c
70
static void acpi_timer_identify(driver_t *driver, device_t parent);
sys/dev/acpica/acpi_timer.c
82
DEVMETHOD(device_identify, acpi_timer_identify),