Symbol: gic_cpu_mask
sys/arm/arm/gic.c
213
arm_gic_map[cpu] = gic_cpu_mask(sc);
sys/arm/arm/gic.c
381
mask = gic_cpu_mask(sc);