|
@@ -24,7 +24,7 @@ rt_uint32_t arm_gic_get_pending_irq(rt_uint32_t index, int irq);
|
|
|
void arm_gic_set_pending_irq(rt_uint32_t index, int irq);
|
|
|
void arm_gic_clear_pending_irq(rt_uint32_t index, int irq);
|
|
|
|
|
|
-void arm_gic_set_configuration(rt_uint32_t index, int irq, uint32_t config);
|
|
|
+void arm_gic_set_configuration(rt_uint32_t index, int irq, rt_uint32_t config);
|
|
|
rt_uint32_t arm_gic_get_configuration(rt_uint32_t index, int irq);
|
|
|
|
|
|
void arm_gic_clear_active(rt_uint32_t index, int irq);
|