1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16#ifndef __KVM_ARM_VGIC_MMIO_H__
17#define __KVM_ARM_VGIC_MMIO_H__
18
19struct vgic_register_region {
20 unsigned int reg_offset;
21 unsigned int len;
22 unsigned int bits_per_irq;
23 unsigned int access_flags;
24 union {
25 unsigned long (*read)(struct kvm_vcpu *vcpu, gpa_t addr,
26 unsigned int len);
27 unsigned long (*its_read)(struct kvm *kvm, struct vgic_its *its,
28 gpa_t addr, unsigned int len);
29 };
30 union {
31 void (*write)(struct kvm_vcpu *vcpu, gpa_t addr,
32 unsigned int len, unsigned long val);
33 void (*its_write)(struct kvm *kvm, struct vgic_its *its,
34 gpa_t addr, unsigned int len,
35 unsigned long val);
36 };
37};
38
39extern struct kvm_io_device_ops kvm_io_gic_ops;
40
41#define VGIC_ACCESS_8bit 1
42#define VGIC_ACCESS_32bit 2
43#define VGIC_ACCESS_64bit 4
44
45
46
47
48
49
50#define VGIC_ADDR_IRQ_MASK(bits) (((bits) * 1024 / 8) - 1)
51
52
53
54
55
56
57
58
59
60#define VGIC_ADDR_TO_INTID(addr, bits) (((addr) & VGIC_ADDR_IRQ_MASK(bits)) * \
61 8 >> ilog2(bits))
62
63
64
65
66
67
68
69#define REGISTER_DESC_WITH_BITS_PER_IRQ(off, rd, wr, bpi, acc) \
70 { \
71 .reg_offset = off, \
72 .bits_per_irq = bpi, \
73 .len = bpi * 1024 / 8, \
74 .access_flags = acc, \
75 .read = rd, \
76 .write = wr, \
77 }
78
79#define REGISTER_DESC_WITH_LENGTH(off, rd, wr, length, acc) \
80 { \
81 .reg_offset = off, \
82 .bits_per_irq = 0, \
83 .len = length, \
84 .access_flags = acc, \
85 .read = rd, \
86 .write = wr, \
87 }
88
89int kvm_vgic_register_mmio_region(struct kvm *kvm, struct kvm_vcpu *vcpu,
90 struct vgic_register_region *reg_desc,
91 struct vgic_io_device *region,
92 int nr_irqs, bool offset_private);
93
94unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len);
95
96void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,
97 unsigned long data);
98
99unsigned long extract_bytes(u64 data, unsigned int offset,
100 unsigned int num);
101
102u64 update_64bit_reg(u64 reg, unsigned int offset, unsigned int len,
103 unsigned long val);
104
105unsigned long vgic_mmio_read_raz(struct kvm_vcpu *vcpu,
106 gpa_t addr, unsigned int len);
107
108unsigned long vgic_mmio_read_rao(struct kvm_vcpu *vcpu,
109 gpa_t addr, unsigned int len);
110
111void vgic_mmio_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,
112 unsigned int len, unsigned long val);
113
114unsigned long vgic_mmio_read_enable(struct kvm_vcpu *vcpu,
115 gpa_t addr, unsigned int len);
116
117void vgic_mmio_write_senable(struct kvm_vcpu *vcpu,
118 gpa_t addr, unsigned int len,
119 unsigned long val);
120
121void vgic_mmio_write_cenable(struct kvm_vcpu *vcpu,
122 gpa_t addr, unsigned int len,
123 unsigned long val);
124
125unsigned long vgic_mmio_read_pending(struct kvm_vcpu *vcpu,
126 gpa_t addr, unsigned int len);
127
128void vgic_mmio_write_spending(struct kvm_vcpu *vcpu,
129 gpa_t addr, unsigned int len,
130 unsigned long val);
131
132void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu,
133 gpa_t addr, unsigned int len,
134 unsigned long val);
135
136unsigned long vgic_mmio_read_active(struct kvm_vcpu *vcpu,
137 gpa_t addr, unsigned int len);
138
139void vgic_mmio_write_cactive(struct kvm_vcpu *vcpu,
140 gpa_t addr, unsigned int len,
141 unsigned long val);
142
143void vgic_mmio_write_sactive(struct kvm_vcpu *vcpu,
144 gpa_t addr, unsigned int len,
145 unsigned long val);
146
147unsigned long vgic_mmio_read_priority(struct kvm_vcpu *vcpu,
148 gpa_t addr, unsigned int len);
149
150void vgic_mmio_write_priority(struct kvm_vcpu *vcpu,
151 gpa_t addr, unsigned int len,
152 unsigned long val);
153
154unsigned long vgic_mmio_read_config(struct kvm_vcpu *vcpu,
155 gpa_t addr, unsigned int len);
156
157void vgic_mmio_write_config(struct kvm_vcpu *vcpu,
158 gpa_t addr, unsigned int len,
159 unsigned long val);
160
161unsigned int vgic_v2_init_dist_iodev(struct vgic_io_device *dev);
162
163unsigned int vgic_v3_init_dist_iodev(struct vgic_io_device *dev);
164
165u64 vgic_sanitise_outer_cacheability(u64 reg);
166u64 vgic_sanitise_inner_cacheability(u64 reg);
167u64 vgic_sanitise_shareability(u64 reg);
168u64 vgic_sanitise_field(u64 reg, u64 field_mask, int field_shift,
169 u64 (*sanitise_fn)(u64));
170
171#endif
172