gic_irq_set_pending
gic_irq_set_pending(MIN_SPI);
gic_irq_set_pending(intid);
gic_irq_set_pending(MIN_SPI + cpuid);
void gic_irq_set_pending(unsigned int intid);
gic_common_ops->gic_irq_set_pending(intid);
void (*gic_irq_set_pending)(uint32_t intid);
.gic_irq_set_pending = gicv3_irq_set_pending,