vgic_irq_is_mapped_level
} else if (vgic_irq_is_mapped_level(irq)) {
} else if (!is_user && vgic_irq_is_mapped_level(irq)) {
if (vgic_irq_is_mapped_level(irq) && (val & GICH_LR_PENDING_BIT))
if (vgic_irq_is_mapped_level(irq) && (val & ICH_LR_PENDING_BIT))
if (vgic_irq_is_mapped_level(irq)) {