gic_set_priority
gic_set_priority(i, IRQ_DEFAULT_PRIO_REG);
gic_set_priority(i, (i % (KVM_NUM_PRIOS - 1)) << 3);
gic_set_priority(intid, prio);
gic_set_priority(intid, prio);
gic_set_priority(MIN_PPI, IRQ_DEFAULT_PRIO);
gic_set_priority(intid, (intid + 1) * 8);
gic_set_priority(MIN_SPI + cpuid, IRQ_DEFAULT_PRIO);
gic_set_priority(27, IRQ_DEFAULT_PRIO - 8);
void gic_set_priority(uint32_t intid, uint32_t prio);
gic_common_ops->gic_set_priority(intid, prio);
void (*gic_set_priority)(uint32_t intid, uint32_t prio);
.gic_set_priority = gicv3_set_priority,