gic_irq_set_active
void gic_irq_set_active(unsigned int intid);
gic_common_ops->gic_irq_set_active(intid);
void (*gic_irq_set_active)(uint32_t intid);
.gic_irq_set_active = gicv3_irq_set_active,