Lines Matching refs:irq
144 void arm_gic_ack(rt_uint64_t index, int irq);
146 void arm_gic_mask(rt_uint64_t index, int irq);
147 void arm_gic_umask(rt_uint64_t index, int irq);
149 rt_uint64_t arm_gic_get_pending_irq(rt_uint64_t index, int irq);
150 void arm_gic_set_pending_irq(rt_uint64_t index, int irq);
151 void arm_gic_clear_pending_irq(rt_uint64_t index, int irq);
153 void arm_gic_set_configuration(rt_uint64_t index, int irq, rt_uint32_t config);
154 rt_uint64_t arm_gic_get_configuration(rt_uint64_t index, int irq);
156 void arm_gic_clear_active(rt_uint64_t index, int irq);
158 void arm_gic_set_router_cpu(rt_uint64_t index, int irq, rt_uint64_t aff);
159 void arm_gic_set_cpu(rt_uint64_t index, int irq, unsigned int cpumask);
160 rt_uint64_t arm_gic_get_target_cpu(rt_uint64_t index, int irq);
162 void arm_gic_set_priority(rt_uint64_t index, int irq, rt_uint64_t priority);
163 rt_uint64_t arm_gic_get_priority(rt_uint64_t index, int irq);
171 rt_uint64_t arm_gic_get_irq_status(rt_uint64_t index, int irq);
174 void arm_gic_send_affinity_sgi(rt_uint64_t index, int irq, rt_uint32_t cpu_masks[], rt_uint64_t rou…
181 void arm_gic_set_group(rt_uint64_t index, int irq, rt_uint64_t group);
182 rt_uint64_t arm_gic_get_group(rt_uint64_t index, int irq);