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();