Hi Stefano,
On 26/06/2019 01:01, Stefano Stabellini wrote:
On Mon, 10 Jun 2019, Julien Grall wrote:
After the recent rework, the CPUID is only used at the very beginning of
the secondary CPUs boot path. So there is no need to "reserve" x24 for
he CPUID.
If you are going to resend the series it would probably make sense to
fold it in the previous patch, but it is also OK as is
I am planning to resend the series. So I will fold it.
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
