gic_acpi_identify
static device_identify_t gic_acpi_identify;
DEVMETHOD(device_identify, gic_acpi_identify),