Searched defs:gic_v3_acpi_identify (Results 1 – 1 of 1) sorted by relevance
59 static device_identify_t gic_v3_acpi_identify; variable 167 gic_v3_acpi_identify(driver_t *driver, device_t parent) in gic_v3_acpi_identify() function