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