Searched refs:arm_gic_map (Results 1 – 1 of 1) sorted by relevance
142 static u_int arm_gic_map[MAXCPU]; variable203 arm_gic_map[cpu] = gic_cpu_mask(sc); in arm_gic_init_secondary()364 arm_gic_map[PCPU_GET(cpuid)] = mask; in arm_gic_attach()646 mask |= arm_gic_map[cpu]; in gic_bind()980 val |= arm_gic_map[i] << GICD_SGI_TARGET_SHIFT; in arm_gic_ipi_send()