public/xen.h: add a definition for a 'valid domid' mask

A subsequent patch will modify libxl to allow selection of a random domid
value when creating domains. Valid values are limited to a width of 15 bits,
so add an appropriate mask definition to the public header.

NOTE: It is reasonable for this mask definition to be in a Xen public header
      rather than in, say, a libxenctrl header since it relates to the
      validity of a value passed to XEN_DOMCTL_createdomain. This new
      definition is placed in xen.h rather than domctl.h only to co-locate
      it with other domid-related defitions.

Signed-off-by: Paul Durrant <pdurrant@amazon.com>
Reviewed-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Julien Grall <julien@xen.org>

diff --git a/xen/include/public/xen.h b/xen/include/public/xen.h
index d2198dffada5b36fb64555c01e106a61dc69f81f..75b1619d0d3ea27c40ba73340c33cf6766f20492 100644 (file)
--- a/xen/include/public/xen.h
+++ b/xen/include/public/xen.h
@@ -614,6 +614,9 @@ DEFINE_XEN_GUEST_HANDLE(mmuext_op_t);
 /* Idle domain. */
 #define DOMID_IDLE           xen_mk_uint(0x7FFF)
 
+/* Mask for valid domain id values */
+#define DOMID_MASK           xen_mk_uint(0x7FFF)
+
 #ifndef __ASSEMBLY__
 
 typedef uint16_t domid_t;