Searched refs:gicv3_redist_vinvall (Results 1 – 3 of 3) sorted by relevance
1113 void gicv3_redist_vinvall(GICv3CPUState *cs, uint64_t vptaddr) in gicv3_redist_vinvall() function1132 gicv3_redist_vinvall(cs, vptaddr); in gicv3_redist_inv_vlpi()
721 void gicv3_redist_vinvall(GICv3CPUState *cs, uint64_t vptaddr);
1182 gicv3_redist_vinvall(&s->gicv3->cpu[vte.rdbase], vte.vptaddr << 16); in process_vinvall()