DEBUG

Author: stgraber

.github/workflows/builds.yml

@@ -16,10 +16,6 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          - ubuntu-22.04
-          - ubuntu-24.04
-          - ubuntu-26.04
-          - debian-12
           - debian-13
         arch:
           - arm64

arch/arm64/kvm/vgic/vgic-v3.c

@@ -63,6 +63,12 @@ void vgic_v3_configure_hcr(struct kvm_vcpu *vcpu,
 	    irqs_active_outside_lrs(als)		     ||
 	    atomic_read(&vcpu->kvm->arch.vgic.active_spis))
 		cpuif->vgic_hcr |= ICH_HCR_EL2_TDIR;
+
+	trace_printk("ap0r0=%x ap1r0=%x hcr=%x vmcr=%x\n",
+		     cpuif->vgic_apr0[0],
+		     cpuif->vgic_apr1[0],
+		     cpuif->vgic_hcr,
+		     cpuif->vgic_vmcr);
 }
 
 static bool lr_signals_eoi_mi(u64 lr_val)

arch/arm64/kvm/vgic/vgic.c

@@ -1014,6 +1014,9 @@ static void vgic_flush_lr_state(struct kvm_vcpu *vcpu)
 	list_for_each_entry(irq, &vgic_cpu->ap_list_head, ap_list) {
 		scoped_guard(raw_spinlock,  &irq->irq_lock) {
 			if (likely(vgic_target_oracle(irq) == vcpu)) {
+				trace_printk("vcpu%ld LR%d INTID %u (pending=%d active=%d)\n",
+					     vcpu->vcpu_id, count, irq->intid,
+					     irq_is_pending(irq), irq->active);
 				vgic_populate_lr(vcpu, irq, count++);
 				*host_data_ptr(last_lr_irq) = irq;
 			}