Symbol: gic_write_ctlr
drivers/irqchip/irq-gic-v3.c
1190
gic_write_ctlr(ICC_CTLR_EL1_EOImode_drop);
drivers/irqchip/irq-gic-v3.c
1193
gic_write_ctlr(ICC_CTLR_EL1_EOImode_drop_dir);