DEBUG_SPINLOCK_BUG_ON 55 virt/kvm/arm/vgic/vgic-v2.c DEBUG_SPINLOCK_BUG_ON(!irqs_disabled()); DEBUG_SPINLOCK_BUG_ON 38 virt/kvm/arm/vgic/vgic-v3.c DEBUG_SPINLOCK_BUG_ON(!irqs_disabled()); DEBUG_SPINLOCK_BUG_ON 623 virt/kvm/arm/vgic/vgic.c DEBUG_SPINLOCK_BUG_ON(!irqs_disabled()); DEBUG_SPINLOCK_BUG_ON 903 virt/kvm/arm/vgic/vgic.c DEBUG_SPINLOCK_BUG_ON(!irqs_disabled());