gic_acpi_match
static int gic_acpi_match(device_t, cfdata_t, void *);
CFATTACH_DECL_NEW(gic_acpi, 0, gic_acpi_match, gic_acpi_attach, NULL, NULL);