Searched refs:gic_v3_acpi_bus_alloc_res (Results 1 – 1 of 1) sorted by relevance
60 static bus_alloc_resource_t gic_v3_acpi_bus_alloc_res; variable71 DEVMETHOD(bus_alloc_resource, gic_v3_acpi_bus_alloc_res),418 gic_v3_acpi_bus_alloc_res(device_t bus, device_t child, int type, int *rid, in gic_v3_acpi_bus_alloc_res() function