Searched defs:gic_v3_get_domain (Results 1 – 1 of 1) sorted by relevance
78 static bus_get_domain_t gic_v3_get_domain; variable 470 gic_v3_get_domain(device_t dev, device_t child, int *domain) in gic_v3_get_domain() function