Lines Matching defs:cpu_idx
38 void sspm_standbywfi_irq_enable(uint32_t cpu_idx)
40 mmio_write_32(SSPM_CFGREG_ACAO_INT_SET, STANDBYWFI_EN(cpu_idx));
88 static uint32_t target_mask(int cluster, int cpu_idx, bool on)
96 if (cpu_idx >= 0)
97 t |= BIT(cpu_idx + CPU_ON_OFS);
102 if (cpu_idx >= 0)
103 t |= BIT(cpu_idx + CPU_OFF_OFS);
109 void mcdi_pause_clr(int cluster, int cpu_idx, bool on)
111 uint32_t tgt = target_mask(cluster, cpu_idx, on);
118 void mcdi_pause_set(int cluster, int cpu_idx, bool on)
120 uint32_t tgt = target_mask(cluster, cpu_idx, on);
122 uint32_t tgtn = target_mask(-1, cpu_idx, !on);
155 void mcdi_hotplug_wait_ack(int cluster, int cpu_idx, bool on)
157 uint32_t tgt = target_mask(cluster, cpu_idx, on);
165 void mcdi_hotplug_clr(int cluster, int cpu_idx, bool on)
167 uint32_t tgt = target_mask(cluster, cpu_idx, on);
168 uint32_t tgt_cpu = target_mask(-1, cpu_idx, on);
183 void mcdi_hotplug_set(int cluster, int cpu_idx, bool on)
185 uint32_t tgt = target_mask(cluster, cpu_idx, on);
186 uint32_t tgt_cpu = target_mask(-1, cpu_idx, on);