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());