Searched defs:gic_v3_acpi_get_resource_list (Results 1 – 1 of 1) sorted by relevance
62 static bus_get_resource_list_t gic_v3_acpi_get_resource_list; variable 471 gic_v3_acpi_get_resource_list(device_t bus, device_t child) gic_v3_acpi_get_resource_list() function