gic_write_ctlr    922 drivers/irqchip/irq-gic-v3.c 		gic_write_ctlr(ICC_CTLR_EL1_EOImode_drop);
gic_write_ctlr    925 drivers/irqchip/irq-gic-v3.c 		gic_write_ctlr(ICC_CTLR_EL1_EOImode_drop_dir);