vgic_put_irq_norelease
deleted |= vgic_put_irq_norelease(vcpu->kvm, irq);
deleted_lpis |= vgic_put_irq_norelease(vcpu->kvm, irq);