gic_read_sre 630 include/linux/irqchip/arm-gic-v3.h val = gic_read_sre(); gic_read_sre 636 include/linux/irqchip/arm-gic-v3.h val = gic_read_sre();