ICH_LR_STATE
cpu_if->vgic_lr[i] &= ~ICH_LR_STATE;
if ((val & ICH_LR_STATE) != ICH_LR_PENDING_BIT)
lr_val &= ~ICH_LR_STATE;
return !(lr & (ICH_LR_STATE | ICH_LR_HW)) && (lr & ICH_LR_EOI);
if (!(lr & ICH_LR_STATE))
if (!(lr & ICH_LR_STATE))
val = lr & ~ICH_LR_STATE;
val |= host_lr & ICH_LR_STATE;
if (!((lr & ICH_LR_HW) && (lr & ICH_LR_STATE) &&
!(host_lr & ICH_LR_STATE)))
if (irq->config == VGIC_CONFIG_LEVEL && !(val & ICH_LR_STATE))
return !(lr_val & ICH_LR_STATE) && (lr_val & ICH_LR_EOI) &&