Changes in kernel/generic/src/mm/tlb.c [a35b458:63e27ef] in mainline

File:

• kernel/generic/src/mm/tlb.c (modified) (6 diffs)

kernel/generic/src/mm/tlb.c

@@ -87 +87 @@
         CPU->tlb_active = false;
         irq_spinlock_lock(&tlblock, false);
-
+        
         size_t i;
         for (i = 0; i < config.cpu_count; i++) {
                 if (i == CPU->id)
                         continue;
-
+                
                 cpu_t *cpu = &cpus[i];
-
+                
                 irq_spinlock_lock(&cpu->lock, false);
                 if (cpu->tlb_messages_count == TLB_MESSAGE_QUEUE_LEN) {
@@ -118 +118 @@
                 irq_spinlock_unlock(&cpu->lock, false);
         }
-
+        
         tlb_shootdown_ipi_send();
-
+        
 busy_wait:
         for (i = 0; i < config.cpu_count; i++) {
@@ -126 +126 @@
                         goto busy_wait;
         }
-
+        
         return ipl;
 }
@@ -153 +153 @@
 {
         assert(CPU);
-
+        
         CPU->tlb_active = false;
         irq_spinlock_lock(&tlblock, false);
         irq_spinlock_unlock(&tlblock, false);
-
+        
         irq_spinlock_lock(&CPU->lock, false);
         assert(CPU->tlb_messages_count <= TLB_MESSAGE_QUEUE_LEN);
-
+        
         size_t i;
         for (i = 0; i < CPU->tlb_messages_count; i++) {
@@ -167 +167 @@
                 uintptr_t page = CPU->tlb_messages[i].page;
                 size_t count = CPU->tlb_messages[i].count;
-
+                
                 switch (type) {
                 case TLB_INVL_ALL:
@@ -183 +183 @@
                         break;
                 }
-
+                
                 if (type == TLB_INVL_ALL)
                         break;
         }
-
+        
         CPU->tlb_messages_count = 0;
         irq_spinlock_unlock(&CPU->lock, false);