Symbol: read_ppi_sysreg_s
drivers/irqchip/irq-gic-v5.c
358
*state = !!(read_ppi_sysreg_s(d->hwirq, PPI_PENDING) & hwirq_id_bit);
drivers/irqchip/irq-gic-v5.c
361
*state = !!(read_ppi_sysreg_s(d->hwirq, PPI_ACTIVE) & hwirq_id_bit);
drivers/irqchip/irq-gic-v5.c
511
return !!(read_ppi_sysreg_s(hwirq, PPI_HM) & bit);