Symbol: gic_v3_acpi_bus_attach
sys/arm64/arm64/gic_v3_acpi.c
369
gic_v3_acpi_bus_attach(dev);
sys/arm64/arm64/gic_v3_acpi.c
64
static void gic_v3_acpi_bus_attach(device_t);