DB_IRQ_FLAGS      147 virt/kvm/arm/vgic/vgic-v4.c 		irq_set_status_flags(irq, DB_IRQ_FLAGS);
DB_IRQ_FLAGS      185 virt/kvm/arm/vgic/vgic-v4.c 		irq_clear_status_flags(irq, DB_IRQ_FLAGS);