GICH_LR_PENDING_BIT
val |= GICH_LR_PENDING_BIT;
if (val & GICH_LR_PENDING_BIT) {
if (vgic_irq_is_mapped_level(irq) && (val & GICH_LR_PENDING_BIT))
(val & GICH_LR_PENDING_BIT)) {
vgic_irq_handle_resampling(irq, deactivated, val & GICH_LR_PENDING_BIT);