Searched refs:gic_v3_get_domain (Results 1 – 1 of 1) sorted by relevance
80 static bus_get_domain_t gic_v3_get_domain; variable115 DEVMETHOD(bus_get_domain, gic_v3_get_domain),406 gic_v3_get_domain(device_t dev, device_t child, int *domain) in gic_v3_get_domain() function