Searched refs:gicv3_redist_inv_vlpi (Results 1 – 3 of 3) sorted by relevance
664 void gicv3_redist_inv_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr);
1102 void gicv3_redist_inv_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr) in gicv3_redist_inv_vlpi() function
1232 gicv3_redist_inv_vlpi(&s->gicv3->cpu[vte.rdbase], ite.intid, in process_inv()