Changes in kernel/genarch/src/mm/asid_fifo.c [a35b458:1b20da0] in mainline

File:

• kernel/genarch/src/mm/asid_fifo.c (modified) (2 diffs)

kernel/genarch/src/mm/asid_fifo.c

@@ -30 +30 @@
  * @{
  */
-
+ 
 /**
  * @file
@@ -66 +66 @@
         fifo_create(free_asids);
 #endif
-
+                
         for (i = 0; i < ASIDS_ALLOCABLE; i++) {
                 fifo_push(free_asids, ASID_START + i);