VGIC_CONFIG_MASK
switch (irq->config & VGIC_CONFIG_MASK) {
if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_LEVEL)
if ((irq->config & VGIC_CONFIG_MASK) ==
if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_EDGE) {
if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_LEVEL) {
irq->config = (val >> (i * 2)) & VGIC_CONFIG_MASK;