acpi_hpet_identify
DEVMETHOD(device_identify, acpi_hpet_identify),
static int acpi_hpet_identify(driver_t *, device_t);