@@ -52,6 +52,7 @@ custom_param("iommu", parse_iommu_param);
bool_t __initdata iommu_enable = 1;
bool_t __read_mostly iommu_enabled;
bool_t __read_mostly force_iommu;
+bool_t __read_mostly force_intremap;
bool_t __hwdom_initdata iommu_dom0_strict;
bool_t __read_mostly iommu_verbose;
bool_t __read_mostly iommu_workaround_bios_bug;
@@ -364,7 +365,7 @@ int iommu_iotlb_flush_all(struct domain *d)
int __init iommu_setup(void)
{
int rc = -ENODEV;
- bool_t force_intremap = force_iommu && iommu_intremap;
+ force_intremap = force_iommu && iommu_intremap;
if ( iommu_dom0_strict )
iommu_passthrough = 0;
@@ -29,6 +29,7 @@
extern bool_t iommu_enable, iommu_enabled;
extern bool_t force_iommu, iommu_verbose;
+extern bool_t force_intremap;
extern bool_t iommu_workaround_bios_bug, iommu_igfx, iommu_passthrough;
extern bool_t iommu_snoop, iommu_qinval, iommu_intremap, iommu_intpost;
extern bool_t iommu_hap_pt_share;