Searched refs:gic_v3_acpi_identify (Results 1 – 1 of 1) sorted by relevance
57 static device_identify_t gic_v3_acpi_identify; variable66 DEVMETHOD(device_identify, gic_v3_acpi_identify),165 gic_v3_acpi_identify(driver_t *driver, device_t parent) in gic_v3_acpi_identify() function