Searched refs:gicv3_redist_vlpi_pending (Results 1 – 3 of 3) sorted by relevance
640 void gicv3_redist_vlpi_pending(GICv3CPUState *cs, int irq, int level);
1024 void gicv3_redist_vlpi_pending(GICv3CPUState *cs, int irq, int level) in gicv3_redist_vlpi_pending() function
797 gicv3_redist_vlpi_pending(cs, cs->hppvlpi.irq, 0); in icv_activate_vlpi()