gic_irq_set_config
gic_irq_set_config(i, !level_sensitive);
void gic_irq_set_config(unsigned int intid, bool is_edge);
gic_common_ops->gic_irq_set_config(intid, is_edge);
void (*gic_irq_set_config)(uint32_t intid, bool is_edge);
.gic_irq_set_config = gicv3_irq_set_config,