Symbol: gic_v3_get_domain
sys/arm64/arm64/gic_v3.c
122
DEVMETHOD(bus_get_domain, gic_v3_get_domain),
sys/arm64/arm64/gic_v3.c
78
static bus_get_domain_t gic_v3_get_domain;