Changes in kernel/genarch/src/mm/asid_fifo.c [1b20da0:a35b458] 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);