iommu: removed a cache invalidate that makes problems on vacherin
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Mon, 20 May 2019 12:41:45 +0000 (14:41 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Mon, 20 May 2019 12:41:45 +0000 (14:41 +0200)
Also not needed on babybel machines

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

usr/drivers/iommu/modules/intel_vtd/intel_vtd_ctxt_table.c

index b17a8ef..f8256c8 100644 (file)
@@ -138,7 +138,6 @@ errval_t vtd_ctxt_table_map(struct vtd_root_table *rt, uint8_t idx,
     }
 
     vtd_ctxt_cache_invalidate(rt->vtd);
-
     ctx->root_table = rt;
     ctx->root_table_idx = idx;
 
@@ -168,7 +167,8 @@ errval_t vtd_ctxt_table_unmap(struct vtd_ctxt_table *ct)
         return err;
     }
 
-    vtd_ctxt_cache_invalidate(rt->vtd);
+    // TODO seems to not work in vacherin
+    //vtd_ctxt_cache_invalidate(rt->vtd);
 
     rt->ctxt_tables[ct->root_table_idx] = NULL;
 
@@ -204,4 +204,4 @@ errval_t vtd_ctxt_table_get_by_id(struct vtd *vtd, uint8_t idx,
     *table = &vtd->ctxt_tables[idx];
 
     return SYS_ERR_OK;
-}
\ No newline at end of file
+}