1 // SPDX-License-Identifier: GPL-2.0
2 /*
3 * ARM Generic Interrupt Controller (GIC) support
4 */
5
6 #include <errno.h>
7 #include <linux/bits.h>
8 #include <linux/sizes.h>
9
10 #include "kvm_util.h"
11
12 #include <gic.h>
13 #include "gic_private.h"
14 #include "processor.h"
15 #include "spinlock.h"
16
17 static const struct gic_common_ops *gic_common_ops;
18 static struct spinlock gic_lock;
19
gic_cpu_init(unsigned int cpu,void * redist_base)20 static void gic_cpu_init(unsigned int cpu, void *redist_base)
21 {
22 gic_common_ops->gic_cpu_init(cpu, redist_base);
23 }
24
25 static void
gic_dist_init(enum gic_type type,unsigned int nr_cpus,void * dist_base)26 gic_dist_init(enum gic_type type, unsigned int nr_cpus, void *dist_base)
27 {
28 const struct gic_common_ops *gic_ops = NULL;
29
30 spin_lock(&gic_lock);
31
32 /* Distributor initialization is needed only once per VM */
33 if (gic_common_ops) {
34 spin_unlock(&gic_lock);
35 return;
36 }
37
38 if (type == GIC_V3)
39 gic_ops = &gicv3_ops;
40
41 GUEST_ASSERT(gic_ops);
42
43 gic_ops->gic_init(nr_cpus, dist_base);
44 gic_common_ops = gic_ops;
45
46 /* Make sure that the initialized data is visible to all the vCPUs */
47 dsb(sy);
48
49 spin_unlock(&gic_lock);
50 }
51
gic_init(enum gic_type type,unsigned int nr_cpus,void * dist_base,void * redist_base)52 void gic_init(enum gic_type type, unsigned int nr_cpus,
53 void *dist_base, void *redist_base)
54 {
55 uint32_t cpu = guest_get_vcpuid();
56
57 GUEST_ASSERT(type < GIC_TYPE_MAX);
58 GUEST_ASSERT(dist_base);
59 GUEST_ASSERT(redist_base);
60 GUEST_ASSERT(nr_cpus);
61
62 gic_dist_init(type, nr_cpus, dist_base);
63 gic_cpu_init(cpu, redist_base);
64 }
65
gic_irq_enable(unsigned int intid)66 void gic_irq_enable(unsigned int intid)
67 {
68 GUEST_ASSERT(gic_common_ops);
69 gic_common_ops->gic_irq_enable(intid);
70 }
71
gic_irq_disable(unsigned int intid)72 void gic_irq_disable(unsigned int intid)
73 {
74 GUEST_ASSERT(gic_common_ops);
75 gic_common_ops->gic_irq_disable(intid);
76 }
77
gic_get_and_ack_irq(void)78 unsigned int gic_get_and_ack_irq(void)
79 {
80 uint64_t irqstat;
81 unsigned int intid;
82
83 GUEST_ASSERT(gic_common_ops);
84
85 irqstat = gic_common_ops->gic_read_iar();
86 intid = irqstat & GENMASK(23, 0);
87
88 return intid;
89 }
90
gic_set_eoi(unsigned int intid)91 void gic_set_eoi(unsigned int intid)
92 {
93 GUEST_ASSERT(gic_common_ops);
94 gic_common_ops->gic_write_eoir(intid);
95 }
96