Searched refs:read_ppi_sysreg_s (Results 1 – 1 of 1) sorted by relevance
294 static __always_inline u64 read_ppi_sysreg_s(unsigned int irq, in read_ppi_sysreg_s() function357 *state = !!(read_ppi_sysreg_s(d->hwirq, PPI_PENDING) & hwirq_id_bit); in gicv5_ppi_irq_get_irqchip_state()360 *state = !!(read_ppi_sysreg_s(d->hwirq, PPI_ACTIVE) & hwirq_id_bit); in gicv5_ppi_irq_get_irqchip_state()510 return !!(read_ppi_sysreg_s(hwirq, PPI_HM) & bit); in gicv5_ppi_irq_is_level()
Completed in 6 milliseconds