Searched refs:read_ppi_sysreg_s (Results 1 – 1 of 1) sorted by relevance
285 static __always_inline u64 read_ppi_sysreg_s(unsigned int irq, in read_ppi_sysreg_s() function348 *state = !!(read_ppi_sysreg_s(d->hwirq, PPI_PENDING) & hwirq_id_bit); in gicv5_ppi_irq_get_irqchip_state()351 *state = !!(read_ppi_sysreg_s(d->hwirq, PPI_ACTIVE) & hwirq_id_bit); in gicv5_ppi_irq_get_irqchip_state()501 return !!(read_ppi_sysreg_s(hwirq, PPI_HM) & bit); in gicv5_ppi_irq_is_level()