Home
last modified time | relevance | path

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

/drivers/irqchip/
A Dirq-gic-v5.c312 static __always_inline void write_ppi_sysreg_s(unsigned int irq, bool set, in write_ppi_sysreg_s() function
422 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