Symbol: gic_acpi_attach
sys/arch/arm/acpi/gic_acpi.c
62
static void gic_acpi_attach(device_t, device_t, void *);
sys/arch/arm/acpi/gic_acpi.c
66
CFATTACH_DECL_NEW(gic_acpi, 0, gic_acpi_match, gic_acpi_attach, NULL, NULL);