> On 20. Mar 2018, at 10:11, Andrew Cooper <andrew.coop...@citrix.com> wrote: > > That said, while ssidref might plausibly need a full 32 bits of range > (and even then, I'm not entirely sure, but it is an opaque handle at the > end of the day), none of the max_* fields do. vcpus is currently capped > at 128, grant frames at 64, maptrack frames at 1024 (both configurable > on the Xen command line). evtchn_port is effectively capped at the ABI > limit which is 1024/4096 or 2^27 depending on the guests setup. > > I'll swap all the max_* fields to being a plain int. > > ~Andrew
Acked-by: Christian Lindig <christian.lin...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel