Changeset 249 for soft/giet_vm/sys/vm_handler.c

Timestamp:

Jul 18, 2013, 6:33:38 PM (11 years ago)

Author:

alain

Message:

Various modifications to support IO Bridge,
and MEMC configuration interface.

File:

• soft/giet_vm/sys/vm_handler.c (modified) (2 diffs)

soft/giet_vm/sys/vm_handler.c

@@ -29 +29 @@
         unsigned int ix2,
         unsigned int ppn,
-        unsigned int flags) {
+        unsigned int flags) 
+{
     unsigned int ptba;
     unsigned int * pt_ppn;
@@ -38 +39 @@
 
     // get ptba and update PT2
-    if ((pt->pt1[ix1] & PTE_V) == 0)
+    if ((pt->pt1[ix1] & PTE_V) == 0) 
     {
+        _get_lock(&_tty_put_lock);
         _puts("\n[GIET ERROR] in iommu_add_pte2 function\n");
         _puts("the IOMMU PT1 entry is not mapped / ix1 = ");
         _putx( ix1 );
         _puts("\n");
+        _release_lock(&_tty_put_lock);
         _exit();
     }
-    else {
+    else 
+    {
         ptba = pt->pt1[ix1] << 12;
         pt_flags = (unsigned int *) (ptba + 8 * ix2);