ICH_LR_ACTIVE_BIT
(val & ICH_LR_ACTIVE_BIT)) {
lr_val |= ICH_LR_ACTIVE_BIT;
lr_val &= ~ICH_LR_ACTIVE_BIT;
lr = vgic_v3_compute_lr(vcpu, irq) & ~ICH_LR_ACTIVE_BIT;
lr = vgic_v3_compute_lr(vcpu, irq) & ~ICH_LR_ACTIVE_BIT;
val |= ICH_LR_ACTIVE_BIT;
val &= ~ICH_LR_ACTIVE_BIT;
deactivated = irq->active && !(val & ICH_LR_ACTIVE_BIT);
irq->active = !!(val & ICH_LR_ACTIVE_BIT);