Searched defs:gic_v3_alloc_resource (Results 1 – 1 of 1) sorted by relevance
81 static bus_alloc_resource_t gic_v3_alloc_resource; variable 542 gic_v3_alloc_resource(device_t bus, device_t child, int type, int *rid, in gic_v3_alloc_resource() function