Changes in kernel/genarch/src/mm/asid.c [a35b458:63e27ef] in mainline

File:

• kernel/genarch/src/mm/asid.c (modified) (6 diffs)

kernel/genarch/src/mm/asid.c

@@ -84 +84 @@
          * Check if there is an unallocated ASID.
          */
-
+        
         if (asids_allocated == ASIDS_ALLOCABLE) {
 
@@ -91 +91 @@
                  * Resort to stealing.
                  */
-
+                
                 /*
                  * Remove the first item on the list.
@@ -100 +100 @@
                 assert(tmp != NULL);
                 list_remove(tmp);
-
+                
                 as = list_get_instance(tmp, as_t, inactive_as_with_asid_link);
 
@@ -115 +115 @@
                  */
                 as->asid = ASID_INVALID;
-
+                
                 /*
                  * If the architecture uses some software cache
@@ -122 +122 @@
                  */
                 as_invalidate_translation_cache(as, 0, (size_t) -1);
-
+                
                 /*
                  * Get the system rid of the stolen ASID.
@@ -146 +146 @@
                 tlb_shootdown_finalize(ipl);
         }
-
+        
         return asid;
 }