Lines Matching refs:irq
18 void arm_gic_ack(rt_uint64_t index, int irq);
20 void arm_gic_mask(rt_uint64_t index, int irq);
21 void arm_gic_umask(rt_uint64_t index, int irq);
23 rt_uint64_t arm_gic_get_pending_irq(rt_uint64_t index, int irq);
24 void arm_gic_set_pending_irq(rt_uint64_t index, int irq);
25 void arm_gic_clear_pending_irq(rt_uint64_t index, int irq);
27 void arm_gic_set_configuration(rt_uint64_t index, int irq, uint32_t config);
28 rt_uint64_t arm_gic_get_configuration(rt_uint64_t index, int irq);
30 void arm_gic_clear_active(rt_uint64_t index, int irq);
32 void arm_gic_set_cpu(rt_uint64_t index, int irq, unsigned int cpumask);
33 rt_uint64_t arm_gic_get_target_cpu(rt_uint64_t index, int irq);
35 void arm_gic_set_priority(rt_uint64_t index, int irq, rt_uint64_t priority);
36 rt_uint64_t arm_gic_get_priority(rt_uint64_t index, int irq);
44 rt_uint64_t arm_gic_get_irq_status(rt_uint64_t index, int irq);
46 void arm_gic_send_sgi(rt_uint64_t index, int irq, rt_uint64_t target_list, rt_uint64_t filter_list);
52 void arm_gic_set_group(rt_uint64_t index, int irq, rt_uint64_t group);
53 rt_uint64_t arm_gic_get_group(rt_uint64_t index, int irq);