> > /* > > - * Whenever we re-enter userspace, the domains should always be > > + * Whenever we re-enter kernel, the domains should always be > > This feels unrelated from the rest of the patch and probably want an > explanation. So I think this want to be in a separate patch.
I will simply remove this comment fix, since I do not change anything else in this file anymore. > The rest of the patch looks good to me. Thank you Julien. > > Cheers, > > -- > Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel