Changes in kernel/arch/ia64/src/drivers/it.c [24abb85d:a35b458] in mainline

File:

• kernel/arch/ia64/src/drivers/it.c (modified) (4 diffs)

kernel/arch/ia64/src/drivers/it.c

@@ -68 +68 @@
                 it_irq.handler = it_interrupt;
                 irq_register(&it_irq);
-                
+
                 uint64_t base_freq;
                 base_freq  = ((bootinfo->freq_scale) & FREQ_NUMERATOR_MASK) >>
@@ -75 +75 @@
                 base_freq /= ((bootinfo->freq_scale) & FREQ_DENOMINATOR_MASK) >>
                     FREQ_DENOMINATOR_SHIFT;
-                
+
                 it_delta = base_freq / HZ;
         }
-        
+
         /* Initialize Interval Timer external interrupt vector */
         cr_itv_t itv;
-        
+
         itv.value = itv_read();
         itv.vector = INTERRUPT_TIMER;
         itv.m = 0;
         itv_write(itv.value);
-        
+
         /* Set Interval Timer Counter to zero */
         itc_write(0);
-        
+
         /* Generate first Interval Timer interrupt in IT_DELTA ticks */
         itm_write(IT_DELTA);
-        
+
         /* Propagate changes */
         srlz_d();
@@ -113 +113 @@
 {
         eoi_write(EOI);
-        
+
         int64_t itm = itm_read();
-        
+
         while (true) {
                 int64_t itc = itc_read();
                 itc += IT_SERVICE_CLOCKS;
-                
+
                 itm += IT_DELTA;
                 if (itm - itc < 0)
@@ -126 +126 @@
                         break;
         }
-        
+
         itm_write(itm);
         srlz_d();  /* Propagate changes */
-        
+
         /*
          * We are holding a lock which prevents preemption.