Symbol: gic_get_pribits
drivers/irqchip/irq-gic-v3.c
1161
pribits = gic_get_pribits();
drivers/irqchip/irq-gic-v3.c
152
gic_write_pmr(BIT(8 - gic_get_pribits()));