Searched refs:old_vte (Results 1 – 1 of 1) sorted by relevance
1090 VTEntry old_vte, new_vte; in process_vmovi() local1122 cmdres = lookup_vte(s, __func__, ite.vpeid, &old_vte); in process_vmovi()1132 ite.intid >= (1ULL << (old_vte.vptsize + 1)) || in process_vmovi()1150 if (old_vte.vptaddr != new_vte.vptaddr) { in process_vmovi()1151 gicv3_redist_mov_vlpi(&s->gicv3->cpu[old_vte.rdbase], in process_vmovi()1152 old_vte.vptaddr << 16, in process_vmovi()