Sounds good to me. Cheers, Alejandro
On Fri, Apr 28, 2023 at 01:40:50PM +0100, Andrew Cooper wrote: > I'm recommend having a comment here, saying something like /* Commonly > dom0 is the only domain, but buffer a little for efficiency. */ > > Because this is also the justification for why we don't need to ask for > 32k domains at once to find XEN_DOMINF_xs_domain in a race-free way. > > Can be fixed on commit if you're happy with the adjustment. > > ~Andrew
