1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright (C) 2016 Linaro
4 * Author: Christoffer Dall <christoffer.dall@linaro.org>
8 #include <linux/debugfs.h>
9 #include <linux/interrupt.h>
10 #include <linux/kvm_host.h>
11 #include <linux/seq_file.h>
12 #include <kvm/arm_vgic.h>
13 #include <asm/kvm_mmu.h>
17 * Structure to control looping through the entire vgic state. We start at
18 * zero for each field and move upwards. So, if dist_id is 0 we print the
19 * distributor info. When dist_id is 1, we have already printed it and move
22 * When vcpu_id < nr_cpus we print the vcpu info until vcpu_id == nr_cpus and
25 struct vgic_state_iter {
36 static void iter_next(struct vgic_state_iter *iter)
38 if (iter->dist_id == 0) {
44 if (iter->intid == VGIC_NR_PRIVATE_IRQS &&
45 ++iter->vcpu_id < iter->nr_cpus)
48 if (iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS)) {
49 if (iter->lpi_idx < iter->nr_lpis)
50 iter->intid = iter->lpi_array[iter->lpi_idx];
55 static void iter_init(struct kvm *kvm, struct vgic_state_iter *iter,
58 int nr_cpus = atomic_read(&kvm->online_vcpus);
60 memset(iter, 0, sizeof(*iter));
62 iter->nr_cpus = nr_cpus;
63 iter->nr_spis = kvm->arch.vgic.nr_spis;
64 if (kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
65 iter->nr_lpis = vgic_copy_lpi_list(kvm, NULL, &iter->lpi_array);
66 if (iter->nr_lpis < 0)
70 /* Fast forward to the right position if needed */
75 static bool end_of_vgic(struct vgic_state_iter *iter)
77 return iter->dist_id > 0 &&
78 iter->vcpu_id == iter->nr_cpus &&
79 iter->intid >= (iter->nr_spis + VGIC_NR_PRIVATE_IRQS) &&
80 iter->lpi_idx > iter->nr_lpis;
83 static void *vgic_debug_start(struct seq_file *s, loff_t *pos)
85 struct kvm *kvm = s->private;
86 struct vgic_state_iter *iter;
88 mutex_lock(&kvm->arch.config_lock);
89 iter = kvm->arch.vgic.iter;
91 iter = ERR_PTR(-EBUSY);
95 iter = kmalloc(sizeof(*iter), GFP_KERNEL);
97 iter = ERR_PTR(-ENOMEM);
101 iter_init(kvm, iter, *pos);
102 kvm->arch.vgic.iter = iter;
104 if (end_of_vgic(iter))
107 mutex_unlock(&kvm->arch.config_lock);
111 static void *vgic_debug_next(struct seq_file *s, void *v, loff_t *pos)
113 struct kvm *kvm = s->private;
114 struct vgic_state_iter *iter = kvm->arch.vgic.iter;
118 if (end_of_vgic(iter))
123 static void vgic_debug_stop(struct seq_file *s, void *v)
125 struct kvm *kvm = s->private;
126 struct vgic_state_iter *iter;
129 * If the seq file wasn't properly opened, there's nothing to clearn
135 mutex_lock(&kvm->arch.config_lock);
136 iter = kvm->arch.vgic.iter;
137 kfree(iter->lpi_array);
139 kvm->arch.vgic.iter = NULL;
140 mutex_unlock(&kvm->arch.config_lock);
143 static void print_dist_state(struct seq_file *s, struct vgic_dist *dist)
145 bool v3 = dist->vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3;
147 seq_printf(s, "Distributor\n");
148 seq_printf(s, "===========\n");
149 seq_printf(s, "vgic_model:\t%s\n", v3 ? "GICv3" : "GICv2");
150 seq_printf(s, "nr_spis:\t%d\n", dist->nr_spis);
152 seq_printf(s, "nr_lpis:\t%d\n", dist->lpi_list_count);
153 seq_printf(s, "enabled:\t%d\n", dist->enabled);
156 seq_printf(s, "P=pending_latch, L=line_level, A=active\n");
157 seq_printf(s, "E=enabled, H=hw, C=config (level=1, edge=0)\n");
158 seq_printf(s, "G=group\n");
161 static void print_header(struct seq_file *s, struct vgic_irq *irq,
162 struct kvm_vcpu *vcpu)
173 seq_printf(s, "%s%2d TYP ID TGT_ID PLAEHCG HWID TARGET SRC PRI VCPU_ID\n", hdr, id);
174 seq_printf(s, "----------------------------------------------------------------\n");
177 static void print_irq_state(struct seq_file *s, struct vgic_irq *irq,
178 struct kvm_vcpu *vcpu)
183 if (irq->intid < VGIC_NR_SGIS)
185 else if (irq->intid < VGIC_NR_PRIVATE_IRQS)
187 else if (irq->intid < VGIC_MAX_SPI)
192 if (irq->intid ==0 || irq->intid == VGIC_NR_PRIVATE_IRQS)
193 print_header(s, irq, vcpu);
195 pending = irq->pending_latch;
196 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
199 err = irq_get_irqchip_state(irq->host_irq,
200 IRQCHIP_STATE_PENDING,
205 seq_printf(s, " %s %4d "
215 (irq->target_vcpu) ? irq->target_vcpu->vcpu_idx : -1,
221 irq->config == VGIC_CONFIG_LEVEL,
227 (irq->vcpu) ? irq->vcpu->vcpu_idx : -1);
230 static int vgic_debug_show(struct seq_file *s, void *v)
232 struct kvm *kvm = s->private;
233 struct vgic_state_iter *iter = v;
234 struct vgic_irq *irq;
235 struct kvm_vcpu *vcpu = NULL;
238 if (iter->dist_id == 0) {
239 print_dist_state(s, &kvm->arch.vgic);
243 if (!kvm->arch.vgic.initialized)
246 if (iter->vcpu_id < iter->nr_cpus)
247 vcpu = kvm_get_vcpu(kvm, iter->vcpu_id);
249 irq = vgic_get_irq(kvm, vcpu, iter->intid);
251 seq_printf(s, " LPI %4d freed\n", iter->intid);
255 raw_spin_lock_irqsave(&irq->irq_lock, flags);
256 print_irq_state(s, irq, vcpu);
257 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
259 vgic_put_irq(kvm, irq);
263 static const struct seq_operations vgic_debug_sops = {
264 .start = vgic_debug_start,
265 .next = vgic_debug_next,
266 .stop = vgic_debug_stop,
267 .show = vgic_debug_show
270 DEFINE_SEQ_ATTRIBUTE(vgic_debug);
272 void vgic_debug_init(struct kvm *kvm)
274 debugfs_create_file("vgic-state", 0444, kvm->debugfs_dentry, kvm,
278 void vgic_debug_destroy(struct kvm *kvm)