sys/arch/arm/cortex/ampintc.c

143

uint8_t sc_cpu_mask[ICD_ICTR_CPU_M + 1];

sys/arch/arm/cortex/ampintc.c

146

int sc_ipi_reason[ICD_ICTR_CPU_M + 1];

sys/arch/arm/cortex/ampintc.c

264

ncpu = ((ictr >> ICD_ICTR_CPU_SH) & ICD_ICTR_CPU_M) + 1;

sys/arch/arm/cortex/ampintc.c

267

KASSERT(curcpu()->ci_cpuid <= ICD_ICTR_CPU_M);

sys/arch/arm/cortex/ampintc.c

569

KASSERT(ci->ci_cpuid <= ICD_ICTR_CPU_M);

sys/arch/arm64/dev/ampintc.c

145

uint8_t sc_cpu_mask[ICD_ICTR_CPU_M + 1];

sys/arch/arm64/dev/ampintc.c

148

int sc_ipi_reason[ICD_ICTR_CPU_M + 1];

sys/arch/arm64/dev/ampintc.c

270

ncpu = ((ictr >> ICD_ICTR_CPU_SH) & ICD_ICTR_CPU_M) + 1;

sys/arch/arm64/dev/ampintc.c

273

KASSERT(curcpu()->ci_cpuid <= ICD_ICTR_CPU_M);

sys/arch/arm64/dev/ampintc.c

596

KASSERT(ci->ci_cpuid <= ICD_ICTR_CPU_M);