gic_get_pribits   704 drivers/irqchip/irq-gic-v3.c 	gic_write_pmr(BIT(8 - gic_get_pribits()));
gic_get_pribits   895 drivers/irqchip/irq-gic-v3.c 	pribits = gic_get_pribits();