[Question about gic vmovp cmd] Consider adding VINVALL after VMOVP

[wangwudi]

Hi Marc,

During vpe migration, VMOVP needs to be executed.
If the vpe is migrated for the first time, especially before it is scheduled for the first time, there may be some unusual hanppens over kexec.
We might consider adding a VINVALL cmd after VMOVP to increase robustness.

@@ -1327,6 +1327,7 @@ static void its_send_vmovp(struct its_vpe *vpe)

                desc.its_vmovp_cmd.col = &its->collections[col_id];
                its_send_single_vcommand(its, its_build_vmovp_cmd, &desc);
+               its_send_vinvall(its, vpe);
        }

Do you think it's all right?

Thanks,
Wudi