GICH_LR_STATE
return !(lr_val & GICH_LR_STATE) && (lr_val & GICH_LR_EOI) &&
cpu_if->vgic_lr[i] &= ~GICH_LR_STATE;
if (irq->config == VGIC_CONFIG_LEVEL && !(val & GICH_LR_STATE))