Home
last modified time | relevance | path

Searched refs:read_ppi_sysreg_s (Results 1 – 1 of 1) sorted by relevance

/drivers/irqchip/
A Dirq-gic-v5.c294 static __always_inline u64 read_ppi_sysreg_s(unsigned int irq, in read_ppi_sysreg_s() function
357 *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