On Tue, 18 Sep 2012, Xu, Dongxiao wrote: > Hi Stefano, > > Is these patches merged with Xen 4.2? I didn't see them in the upstream. > The uint/int fix is critical to fix the nested guest boot issue.
They are not. Ian decided that he wanted to merge a different version of them.