IRQ_DEFAULT_PRIO
#define IRQ_DEFAULT_PRIO_REG (IRQ_DEFAULT_PRIO << KVM_PRIO_SHIFT) /* 0xf0 */
gic_set_priority(MIN_PPI, IRQ_DEFAULT_PRIO);
gic_set_priority(MIN_SPI + cpuid, IRQ_DEFAULT_PRIO);
gic_set_priority(27, IRQ_DEFAULT_PRIO - 8);