iommu_hwdom_inclusive was used where iommu_hwdom_reserved should be
used.
Reported-by: Suravee Suthikulpanit <suravee.suthikulpanit@amd.com>
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
else if ( (val = parse_boolean("map-inclusive", s, ss)) >= 0 )
iommu_hwdom_inclusive = val;
else if ( (val = parse_boolean("map-reserved", s, ss)) >= 0 )
- iommu_hwdom_inclusive = val;
+ iommu_hwdom_reserved = val;
else
rc = -EINVAL;
BUG_ON(!is_hardware_domain(d));
- ASSERT(iommu_hwdom_inclusive != -1 && iommu_hwdom_inclusive != -1);
+ ASSERT(iommu_hwdom_inclusive != -1 && iommu_hwdom_reserved != -1);
if ( iommu_hwdom_inclusive && !is_pv_domain(d) )
{
printk(XENLOG_WARNING