Lines Matching refs:index
144 int arm_gic_get_active_irq(rt_uint32_t index);
145 void arm_gic_ack(rt_uint32_t index, int irq);
147 void arm_gic_mask(rt_uint32_t index, int irq);
148 void arm_gic_umask(rt_uint32_t index, int irq);
150 rt_uint32_t arm_gic_get_pending_irq(rt_uint32_t index, int irq);
151 void arm_gic_set_pending_irq(rt_uint32_t index, int irq);
152 void arm_gic_clear_pending_irq(rt_uint32_t index, int irq);
154 void arm_gic_set_configuration(rt_uint32_t index, int irq, rt_uint32_t config);
155 rt_uint32_t arm_gic_get_configuration(rt_uint32_t index, int irq);
157 void arm_gic_clear_active(rt_uint32_t index, int irq);
159 void arm_gic_set_cpu(rt_uint32_t index, int irq, unsigned int cpumask);
160 rt_uint32_t arm_gic_get_target_cpu(rt_uint32_t index, int irq);
162 void arm_gic_set_priority(rt_uint32_t index, int irq, rt_uint32_t priority);
163 rt_uint32_t arm_gic_get_priority(rt_uint32_t index, int irq);
165 void arm_gic_set_interface_prior_mask(rt_uint32_t index, rt_uint32_t priority);
166 rt_uint32_t arm_gic_get_interface_prior_mask(rt_uint32_t index);
168 void arm_gic_set_binary_point(rt_uint32_t index, rt_uint32_t binary_point);
169 rt_uint32_t arm_gic_get_binary_point(rt_uint32_t index);
171 rt_uint32_t arm_gic_get_irq_status(rt_uint32_t index, int irq);
173 void arm_gic_send_affinity_sgi(rt_uint32_t index, int irq, rt_uint32_t cpu_mask, rt_uint32_t routin…
174 rt_uint32_t arm_gic_get_high_pending_irq(rt_uint32_t index);
176 rt_uint32_t arm_gic_get_interface_id(rt_uint32_t index);
178 void arm_gic_set_group(rt_uint32_t index, int irq, rt_uint32_t group);
179 rt_uint32_t arm_gic_get_group(rt_uint32_t index, int irq);
181 int arm_gic_redist_address_set(rt_uint32_t index, rt_uint32_t redist_addr, rt_uint32_t cpu_id);
182 int arm_gic_cpu_interface_address_set(rt_uint32_t index, rt_uint32_t interface_addr, rt_uint32_t cp…
183 int arm_gic_dist_init(rt_uint32_t index, rt_uint32_t dist_base, int irq_start);
184 int arm_gic_cpu_init(rt_uint32_t index);
185 int arm_gic_redist_init(rt_uint32_t index);
187 void arm_gic_dump_type(rt_uint32_t index);
188 void arm_gic_dump(rt_uint32_t index);
190 void arm_gic_set_system_register_enable_mask(rt_uint32_t index, rt_uint32_t value);
191 rt_uint32_t arm_gic_get_system_register_enable_mask(rt_uint32_t index);