Searched refs:IRQ_DEFAULT_PRIO (Results 1 – 1 of 1) sorted by relevance
47 #define IRQ_DEFAULT_PRIO (LOWEST_PRIO - 1) macro48 #define IRQ_DEFAULT_PRIO_REG (IRQ_DEFAULT_PRIO << KVM_PRIO_SHIFT) /* 0xf0 */817 gic_set_priority(MIN_PPI, IRQ_DEFAULT_PRIO); in guest_code_asym_dir()908 gic_set_priority(MIN_SPI + cpuid, IRQ_DEFAULT_PRIO); in guest_code_timer_spi()912 gic_set_priority(27, IRQ_DEFAULT_PRIO - 8); in guest_code_timer_spi()