Symbol: gic_v3_acpi_identify
sys/arm64/arm64/gic_v3_acpi.c
59
static device_identify_t gic_v3_acpi_identify;
sys/arm64/arm64/gic_v3_acpi.c
68
DEVMETHOD(device_identify, gic_v3_acpi_identify),