Lines Matching defs:idx
35 #define A7K8K_ODMI_PMU_IRQ(idx) ((2 + idx) << 12)
37 #define A7K8K_ODMI_PMU_GIC_IRQ(idx) (130 + idx)
79 unsigned int idx = plat_my_core_pos();
98 mmio_write_32(A7K8K_ODMIN_SET_REG, A7K8K_ODMI_PMU_IRQ(idx));
107 unsigned int idx;
117 for (idx = 0; idx < PLATFORM_CORE_COUNT; idx++)
118 gicv2_interrupt_set_cfg(A7K8K_ODMI_PMU_GIC_IRQ(idx),