1 /* 2 * Copyright (c) 2006-2018, RT-Thread Development Team 3 * 4 * SPDX-License-Identifier: Apache-2.0 5 * 6 * Change Logs: 7 * Date Author Notes 8 * 2013-07-20 Bernard first version 9 */ 10 11 #ifndef __GIC_H__ 12 #define __GIC_H__ 13 14 int arm_gic_dist_init(rt_uint32_t index, rt_uint32_t dist_base, int irq_start); 15 int arm_gic_cpu_init(rt_uint32_t index, rt_uint32_t cpu_base); 16 17 void arm_gic_mask(rt_uint32_t index, int irq); 18 void arm_gic_umask(rt_uint32_t index, int irq); 19 void arm_gic_set_cpu(rt_uint32_t index, int irq, unsigned int cpumask); 20 void arm_gic_set_group(rt_uint32_t index, int vector, int group); 21 22 int arm_gic_get_active_irq(rt_uint32_t index); 23 void arm_gic_ack(rt_uint32_t index, int irq); 24 25 void arm_gic_trigger(rt_uint32_t index, int target_cpu, int irq); 26 void arm_gic_clear_sgi(rt_uint32_t index, int target_cpu, int irq); 27 28 void arm_gic_dump_type(rt_uint32_t index); 29 30 #endif 31 32