Searched refs:write_ppi_sysreg_s (Results 1 – 1 of 1) sorted by relevance
312 static __always_inline void write_ppi_sysreg_s(unsigned int irq, bool set, in write_ppi_sysreg_s() function422 write_ppi_sysreg_s(d->hwirq, state, PPI_PENDING); in gicv5_ppi_irq_set_irqchip_state()425 write_ppi_sysreg_s(d->hwirq, state, PPI_ACTIVE); in gicv5_ppi_irq_set_irqchip_state()
Completed in 5 milliseconds