@@ -2369,7 +2369,7 @@ void __init create_dom0(void)
.max_maptrack_frames = -1,
.grant_opts = XEN_DOMCTL_GRANT_version(opt_gnttab_max_version),
};
- unsigned int flags = CDF_privileged;
+ unsigned int flags = CDF_privileged | CDF_hardware;
int rc;
/* The vGIC for DOM0 is exactly emulating the hardware GIC */
@@ -1011,7 +1011,8 @@ static struct domain *__init create_dom0(struct boot_info *bi)
/* Create initial domain. Not d0 for pvshim. */
bd->domid = get_initial_domain_id();
- d = domain_create(bd->domid, &dom0_cfg, pv_shim ? 0 : CDF_privileged);
+ d = domain_create(bd->domid, &dom0_cfg,
+ pv_shim ? 0 : CDF_privileged | CDF_hardware);
if ( IS_ERR(d) )
panic("Error creating d%u: %ld\n", bd->domid, PTR_ERR(d));
@@ -804,9 +804,6 @@ struct domain *domain_create(domid_t domid,
d->domain_id = domid;
d->unique_id = get_unique_id();
- /* Holding CDF_* internal flags. */
- d->cdf = flags;
-
/* Debug sanity. */
ASSERT(is_system_domain(d) ? config == NULL : config != NULL);
@@ -820,15 +817,25 @@ struct domain *domain_create(domid_t domid,
d->is_privileged = flags & CDF_privileged;
/* Sort out our idea of is_hardware_domain(). */
- if ( domid == 0 || domid == hardware_domid )
+ if ( (flags & CDF_hardware) || domid == hardware_domid )
{
if ( hardware_domid < 0 || hardware_domid >= DOMID_FIRST_RESERVED )
panic("The value of hardware_dom must be a valid domain ID\n");
+ /* late_hwdom is only allowed for dom0. */
+ if ( hardware_domain && hardware_domain->domain_id )
+ return ERR_PTR(-EINVAL);
+
old_hwdom = hardware_domain;
hardware_domain = d;
+ flags |= CDF_hardware;
+ if ( old_hwdom )
+ old_hwdom->cdf &= ~CDF_hardware;
}
+ /* Holding CDF_* internal flags. */
+ d->cdf = flags;
+
TRACE_TIME(TRC_DOM0_DOM_ADD, d->domain_id);
lock_profile_register_struct(LOCKPROF_TYPE_PERDOM, d, domid);
@@ -973,7 +980,11 @@ struct domain *domain_create(domid_t domid,
d->is_dying = DOMDYING_dead;
if ( hardware_domain == d )
+ {
+ if ( old_hwdom )
+ old_hwdom->cdf |= CDF_hardware;
hardware_domain = old_hwdom;
+ }
atomic_set(&d->refcnt, DOMAIN_DESTROYED);
sched_destroy_domain(d);
@@ -53,6 +53,8 @@ domid_t get_initial_domain_id(void);
#else
#define CDF_staticmem 0
#endif
+/* This is the hardware domain. Only 1 allowed. */
+#define CDF_hardware (1U << 3)
#define is_domain_direct_mapped(d) ((d)->cdf & CDF_directmap)
#define is_domain_using_staticmem(d) ((d)->cdf & CDF_staticmem)