Searched refs:gic_v3_acpi_devclass (Results 1 – 1 of 1) sorted by relevance
80 static devclass_t gic_v3_acpi_devclass; variable82 EARLY_DRIVER_MODULE(gic_v3, acpi, gic_v3_acpi_driver, gic_v3_acpi_devclass,