Searched refs:write_ppi_sysreg_s (Results 1 – 1 of 1) sorted by relevance
303 static __always_inline void write_ppi_sysreg_s(unsigned int irq, bool set, in write_ppi_sysreg_s() function413 write_ppi_sysreg_s(d->hwirq, state, PPI_PENDING); in gicv5_ppi_irq_set_irqchip_state()416 write_ppi_sysreg_s(d->hwirq, state, PPI_ACTIVE); in gicv5_ppi_irq_set_irqchip_state()