Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 1 | /* |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 2 | * Copyright (C) 2015, 2016 ARM Ltd. |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 3 | * |
| 4 | * This program is free software; you can redistribute it and/or modify |
| 5 | * it under the terms of the GNU General Public License version 2 as |
| 6 | * published by the Free Software Foundation. |
| 7 | * |
| 8 | * This program is distributed in the hope that it will be useful, |
| 9 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 10 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 11 | * GNU General Public License for more details. |
| 12 | * |
| 13 | * You should have received a copy of the GNU General Public License |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 14 | * along with this program. If not, see <http://www.gnu.org/licenses/>. |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 15 | */ |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 16 | #ifndef __KVM_ARM_VGIC_H |
| 17 | #define __KVM_ARM_VGIC_H |
Christoffer Dall | b18b577 | 2015-11-23 07:20:05 -0800 | [diff] [blame] | 18 | |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 19 | #include <linux/kernel.h> |
| 20 | #include <linux/kvm.h> |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 21 | #include <linux/irqreturn.h> |
| 22 | #include <linux/spinlock.h> |
| 23 | #include <linux/types.h> |
Andre Przywara | 6777f77 | 2015-03-26 14:39:34 +0000 | [diff] [blame] | 24 | #include <kvm/iodev.h> |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 25 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 26 | #define VGIC_V3_MAX_CPUS 255 |
| 27 | #define VGIC_V2_MAX_CPUS 8 |
| 28 | #define VGIC_NR_IRQS_LEGACY 256 |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 29 | #define VGIC_NR_SGIS 16 |
| 30 | #define VGIC_NR_PPIS 16 |
| 31 | #define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS) |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 32 | #define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1) |
| 33 | #define VGIC_MAX_SPI 1019 |
| 34 | #define VGIC_MAX_RESERVED 1023 |
| 35 | #define VGIC_MIN_LPI 8192 |
Marc Zyngier | 8d5c6b0 | 2013-06-03 15:55:02 +0100 | [diff] [blame] | 36 | |
Marc Zyngier | 1a9b130 | 2013-06-21 11:57:56 +0100 | [diff] [blame] | 37 | enum vgic_type { |
| 38 | VGIC_V2, /* Good ol' GICv2 */ |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 39 | VGIC_V3, /* New fancy GICv3 */ |
Marc Zyngier | 1a9b130 | 2013-06-21 11:57:56 +0100 | [diff] [blame] | 40 | }; |
| 41 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 42 | /* same for all guests, as depending only on the _host's_ GIC model */ |
| 43 | struct vgic_global { |
| 44 | /* type of the host GIC */ |
| 45 | enum vgic_type type; |
Marc Zyngier | 8d5c6b0 | 2013-06-03 15:55:02 +0100 | [diff] [blame] | 46 | |
Marc Zyngier | ca85f62 | 2013-06-18 19:17:28 +0100 | [diff] [blame] | 47 | /* Physical address of vgic virtual cpu interface */ |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 48 | phys_addr_t vcpu_base; |
| 49 | |
| 50 | /* virtual control interface mapping */ |
| 51 | void __iomem *vctrl_base; |
| 52 | |
| 53 | /* Number of implemented list registers */ |
| 54 | int nr_lr; |
| 55 | |
| 56 | /* Maintenance IRQ number */ |
| 57 | unsigned int maint_irq; |
| 58 | |
| 59 | /* maximum number of VCPUs allowed (GICv2 limits us to 8) */ |
| 60 | int max_gic_vcpus; |
| 61 | |
Andre Przywara | b5d84ff6 | 2014-06-03 10:26:03 +0200 | [diff] [blame] | 62 | /* Only needed for the legacy KVM_CREATE_IRQCHIP */ |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 63 | bool can_emulate_gicv2; |
Marc Zyngier | ca85f62 | 2013-06-18 19:17:28 +0100 | [diff] [blame] | 64 | }; |
| 65 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 66 | extern struct vgic_global kvm_vgic_global_state; |
| 67 | |
| 68 | #define VGIC_V2_MAX_LRS (1 << 6) |
| 69 | #define VGIC_V3_MAX_LRS 16 |
| 70 | #define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr) |
| 71 | |
| 72 | enum vgic_irq_config { |
| 73 | VGIC_CONFIG_EDGE = 0, |
| 74 | VGIC_CONFIG_LEVEL |
Andre Przywara | b26e5fd | 2014-06-02 16:19:12 +0200 | [diff] [blame] | 75 | }; |
| 76 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 77 | struct vgic_irq { |
| 78 | spinlock_t irq_lock; /* Protects the content of the struct */ |
| 79 | struct list_head ap_list; |
| 80 | |
| 81 | struct kvm_vcpu *vcpu; /* SGIs and PPIs: The VCPU |
| 82 | * SPIs and LPIs: The VCPU whose ap_list |
| 83 | * this is queued on. |
| 84 | */ |
| 85 | |
| 86 | struct kvm_vcpu *target_vcpu; /* The VCPU that this interrupt should |
| 87 | * be sent to, as a result of the |
| 88 | * targets reg (v2) or the |
| 89 | * affinity reg (v3). |
| 90 | */ |
| 91 | |
| 92 | u32 intid; /* Guest visible INTID */ |
| 93 | bool pending; |
| 94 | bool line_level; /* Level only */ |
| 95 | bool soft_pending; /* Level only */ |
| 96 | bool active; /* not used for LPIs */ |
| 97 | bool enabled; |
| 98 | bool hw; /* Tied to HW IRQ */ |
| 99 | u32 hwintid; /* HW INTID number */ |
| 100 | union { |
| 101 | u8 targets; /* GICv2 target VCPUs mask */ |
| 102 | u32 mpidr; /* GICv3 target VCPU */ |
| 103 | }; |
| 104 | u8 source; /* GICv2 SGIs only */ |
| 105 | u8 priority; |
| 106 | enum vgic_irq_config config; /* Level or edge */ |
| 107 | }; |
| 108 | |
| 109 | struct vgic_register_region; |
| 110 | |
Andre Przywara | 6777f77 | 2015-03-26 14:39:34 +0000 | [diff] [blame] | 111 | struct vgic_io_device { |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 112 | gpa_t base_addr; |
Andre Przywara | 6777f77 | 2015-03-26 14:39:34 +0000 | [diff] [blame] | 113 | struct kvm_vcpu *redist_vcpu; |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 114 | const struct vgic_register_region *regions; |
| 115 | int nr_regions; |
Andre Przywara | 6777f77 | 2015-03-26 14:39:34 +0000 | [diff] [blame] | 116 | struct kvm_io_device dev; |
| 117 | }; |
| 118 | |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 119 | struct vgic_dist { |
Marc Zyngier | f982cf4 | 2014-05-15 10:03:25 +0100 | [diff] [blame] | 120 | bool in_kernel; |
Marc Zyngier | 01ac5e3 | 2013-01-21 19:36:16 -0500 | [diff] [blame] | 121 | bool ready; |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 122 | bool initialized; |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 123 | |
Andre Przywara | 59892136 | 2014-06-03 09:33:10 +0200 | [diff] [blame] | 124 | /* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */ |
| 125 | u32 vgic_model; |
| 126 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 127 | int nr_spis; |
Marc Zyngier | c1bfb57 | 2014-07-08 12:09:01 +0100 | [diff] [blame] | 128 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 129 | /* TODO: Consider moving to global state */ |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 130 | /* Virtual control interface mapping */ |
| 131 | void __iomem *vctrl_base; |
| 132 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 133 | /* base addresses in guest physical address space: */ |
| 134 | gpa_t vgic_dist_base; /* distributor */ |
Andre Przywara | a0675c2 | 2014-06-07 00:54:51 +0200 | [diff] [blame] | 135 | union { |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 136 | /* either a GICv2 CPU interface */ |
| 137 | gpa_t vgic_cpu_base; |
| 138 | /* or a number of GICv3 redistributor regions */ |
| 139 | gpa_t vgic_redist_base; |
Andre Przywara | a0675c2 | 2014-06-07 00:54:51 +0200 | [diff] [blame] | 140 | }; |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 141 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 142 | /* distributor enabled */ |
| 143 | bool enabled; |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 144 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 145 | struct vgic_irq *spis; |
Marc Zyngier | b47ef92 | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 146 | |
Andre Przywara | a9cf86f | 2015-03-26 14:39:35 +0000 | [diff] [blame] | 147 | struct vgic_io_device dist_iodev; |
Andre Przywara | fb8f61a | 2015-03-26 14:39:37 +0000 | [diff] [blame] | 148 | struct vgic_io_device *redist_iodevs; |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 149 | }; |
| 150 | |
Marc Zyngier | eede821 | 2013-05-30 10:20:36 +0100 | [diff] [blame] | 151 | struct vgic_v2_cpu_if { |
| 152 | u32 vgic_hcr; |
| 153 | u32 vgic_vmcr; |
| 154 | u32 vgic_misr; /* Saved only */ |
Christoffer Dall | 2df36a5 | 2014-09-28 16:04:26 +0200 | [diff] [blame] | 155 | u64 vgic_eisr; /* Saved only */ |
| 156 | u64 vgic_elrsr; /* Saved only */ |
Marc Zyngier | eede821 | 2013-05-30 10:20:36 +0100 | [diff] [blame] | 157 | u32 vgic_apr; |
Marc Zyngier | 8f186d5 | 2014-02-04 18:13:03 +0000 | [diff] [blame] | 158 | u32 vgic_lr[VGIC_V2_MAX_LRS]; |
Marc Zyngier | eede821 | 2013-05-30 10:20:36 +0100 | [diff] [blame] | 159 | }; |
| 160 | |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 161 | struct vgic_v3_cpu_if { |
Jean-Philippe Brucker | 4f64cb6 | 2015-10-01 13:47:19 +0100 | [diff] [blame] | 162 | #ifdef CONFIG_KVM_ARM_VGIC_V3 |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 163 | u32 vgic_hcr; |
| 164 | u32 vgic_vmcr; |
Andre Przywara | 2f5fa41 | 2014-06-03 08:58:15 +0200 | [diff] [blame] | 165 | u32 vgic_sre; /* Restored only, change ignored */ |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 166 | u32 vgic_misr; /* Saved only */ |
| 167 | u32 vgic_eisr; /* Saved only */ |
| 168 | u32 vgic_elrsr; /* Saved only */ |
| 169 | u32 vgic_ap0r[4]; |
| 170 | u32 vgic_ap1r[4]; |
| 171 | u64 vgic_lr[VGIC_V3_MAX_LRS]; |
| 172 | #endif |
| 173 | }; |
| 174 | |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 175 | struct vgic_cpu { |
Marc Zyngier | 9d949dc | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 176 | /* CPU vif control registers for world switch */ |
Marc Zyngier | eede821 | 2013-05-30 10:20:36 +0100 | [diff] [blame] | 177 | union { |
| 178 | struct vgic_v2_cpu_if vgic_v2; |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 179 | struct vgic_v3_cpu_if vgic_v3; |
Marc Zyngier | eede821 | 2013-05-30 10:20:36 +0100 | [diff] [blame] | 180 | }; |
Marc Zyngier | 6c3d63c | 2014-06-23 17:37:18 +0100 | [diff] [blame] | 181 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 182 | unsigned int used_lrs; |
| 183 | struct vgic_irq private_irqs[VGIC_NR_PRIVATE_IRQS]; |
Marc Zyngier | 59f00ff | 2016-02-02 19:35:34 +0000 | [diff] [blame] | 184 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 185 | spinlock_t ap_list_lock; /* Protects the ap_list */ |
| 186 | |
| 187 | /* |
| 188 | * List of IRQs that this VCPU should consider because they are either |
| 189 | * Active or Pending (hence the name; AP list), or because they recently |
| 190 | * were one of the two and need to be migrated off this list to another |
| 191 | * VCPU. |
| 192 | */ |
| 193 | struct list_head ap_list_head; |
| 194 | |
| 195 | u64 live_lrs; |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 196 | }; |
| 197 | |
Christoffer Dall | ce01e4e | 2013-09-23 14:55:56 -0700 | [diff] [blame] | 198 | int kvm_vgic_addr(struct kvm *kvm, unsigned long type, u64 *addr, bool write); |
Marc Zyngier | 6c3d63c | 2014-06-23 17:37:18 +0100 | [diff] [blame] | 199 | void kvm_vgic_early_init(struct kvm *kvm); |
Andre Przywara | 59892136 | 2014-06-03 09:33:10 +0200 | [diff] [blame] | 200 | int kvm_vgic_create(struct kvm *kvm, u32 type); |
Marc Zyngier | c1bfb57 | 2014-07-08 12:09:01 +0100 | [diff] [blame] | 201 | void kvm_vgic_destroy(struct kvm *kvm); |
Marc Zyngier | 6c3d63c | 2014-06-23 17:37:18 +0100 | [diff] [blame] | 202 | void kvm_vgic_vcpu_early_init(struct kvm_vcpu *vcpu); |
Marc Zyngier | c1bfb57 | 2014-07-08 12:09:01 +0100 | [diff] [blame] | 203 | void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu); |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 204 | int kvm_vgic_map_resources(struct kvm *kvm); |
| 205 | int kvm_vgic_hyp_init(void); |
| 206 | |
| 207 | int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid, |
Marc Zyngier | 5863c2c | 2013-01-21 19:36:15 -0500 | [diff] [blame] | 208 | bool level); |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 209 | int kvm_vgic_inject_mapped_irq(struct kvm *kvm, int cpuid, unsigned int intid, |
| 210 | bool level); |
| 211 | int kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, u32 virt_irq, u32 phys_irq); |
Andre Przywara | 63306c2 | 2016-04-13 10:04:06 +0100 | [diff] [blame] | 212 | int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int virt_irq); |
Andre Przywara | e262f41 | 2016-04-13 10:03:49 +0100 | [diff] [blame] | 213 | bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int virt_irq); |
Marc Zyngier | 1a89dd9 | 2013-01-21 19:36:12 -0500 | [diff] [blame] | 214 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 215 | int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu); |
| 216 | |
Marc Zyngier | f982cf4 | 2014-05-15 10:03:25 +0100 | [diff] [blame] | 217 | #define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel)) |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 218 | #define vgic_initialized(k) ((k)->arch.vgic.initialized) |
Christoffer Dall | c52edf5 | 2014-12-09 14:28:09 +0100 | [diff] [blame] | 219 | #define vgic_ready(k) ((k)->arch.vgic.ready) |
Andre Przywara | 2defaff | 2016-03-07 17:32:29 +0700 | [diff] [blame] | 220 | #define vgic_valid_spi(k, i) (((i) >= VGIC_NR_PRIVATE_IRQS) && \ |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 221 | ((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS)) |
Marc Zyngier | 9d949dc | 2013-01-21 19:36:14 -0500 | [diff] [blame] | 222 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 223 | bool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu); |
| 224 | void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu); |
| 225 | void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu); |
| 226 | |
Jean-Philippe Brucker | 4f64cb6 | 2015-10-01 13:47:19 +0100 | [diff] [blame] | 227 | #ifdef CONFIG_KVM_ARM_VGIC_V3 |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 228 | void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg); |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 229 | #else |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 230 | static inline void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg) |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 231 | { |
Marc Zyngier | b2fb1c0 | 2013-07-12 15:15:23 +0100 | [diff] [blame] | 232 | } |
| 233 | #endif |
Marc Zyngier | 8f186d5 | 2014-02-04 18:13:03 +0000 | [diff] [blame] | 234 | |
Marc Zyngier | 50926d8 | 2016-05-28 11:27:11 +0100 | [diff] [blame] | 235 | /** |
| 236 | * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW |
| 237 | * |
| 238 | * The host's GIC naturally limits the maximum amount of VCPUs a guest |
| 239 | * can use. |
| 240 | */ |
| 241 | static inline int kvm_vgic_get_max_vcpus(void) |
| 242 | { |
| 243 | return kvm_vgic_global_state.max_gic_vcpus; |
| 244 | } |
| 245 | |
| 246 | #endif /* __KVM_ARM_VGIC_H */ |