On 16.09.2025 19:37, [email protected] wrote: > --- a/xen/include/public/xen.h > +++ b/xen/include/public/xen.h > @@ -608,6 +608,9 @@ DEFINE_XEN_GUEST_HANDLE(mmuext_op_t); > /* DOMID_INVALID is used to identify pages with unknown owner. */ > #define DOMID_INVALID xen_mk_uint(0x7FF4) > > +/* Domain ID allocator: search [1..DOMID_FIRST_RESERVED-1] range. */
Considering this is an implementation detail of the hypervisor, ... > +#define DOMID_ANY DOMID_INVALID ... I don't think this should go in a public header. Jan
