1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * ARM Generic Interrupt Controller (GIC) specific defines
4  */
5 
6 #ifndef SELFTEST_KVM_GIC_H
7 #define SELFTEST_KVM_GIC_H
8 
9 enum gic_type {
10 	GIC_V3,
11 	GIC_TYPE_MAX,
12 };
13 
14 void gic_init(enum gic_type type, unsigned int nr_cpus,
15 		void *dist_base, void *redist_base);
16 void gic_irq_enable(unsigned int intid);
17 void gic_irq_disable(unsigned int intid);
18 unsigned int gic_get_and_ack_irq(void);
19 void gic_set_eoi(unsigned int intid);
20 
21 #endif /* SELFTEST_KVM_GIC_H */
22