Changes in kernel/generic/src/cpu/cpu.c [44a7ee5:a35b458] in mainline

File:

• kernel/generic/src/cpu/cpu.c (modified) (4 diffs)

kernel/generic/src/cpu/cpu.c

@@ -63 +63 @@
         if (config.cpu_active == 1) {
 #endif /* CONFIG_SMP */
-                
+
                 cpus = (cpu_t *) malloc(sizeof(cpu_t) * config.cpu_count,
                     FRAME_ATOMIC);
                 if (!cpus)
                         panic("Cannot allocate CPU structures.");
-                
+
                 /* Initialize everything */
                 memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
-                
+
                 size_t i;
                 for (i = 0; i < config.cpu_count; i++) {
@@ -78 +78 @@
                         if (!stack_phys)
                                 panic("Cannot allocate CPU stack.");
-                        
+
                         cpus[i].stack = (uint8_t *) PA2KA(stack_phys);
                         cpus[i].id = i;
-                        
+
                         irq_spinlock_initialize(&cpus[i].lock, "cpus[].lock");
-                        
+
                         for (unsigned int j = 0; j < RQ_COUNT; j++) {
                                 irq_spinlock_initialize(&cpus[i].rq[j].lock, "cpus[].rq[].lock");
@@ -89 +89 @@
                         }
                 }
-                
+
 #ifdef CONFIG_SMP
         }
 #endif /* CONFIG_SMP */
-        
+
         CPU = &cpus[config.cpu_active - 1];
-        
+
         CPU->active = true;
         CPU->tlb_active = true;
-        
+
         CPU->idle = false;
         CPU->last_cycle = get_cycle();
         CPU->idle_cycles = 0;
         CPU->busy_cycles = 0;
-        
+
         cpu_identify();
         cpu_arch_init();
@@ -113 +113 @@
 {
         unsigned int i;
-        
+
         for (i = 0; i < config.cpu_count; i++) {
                 if (cpus[i].active)