perf: Use a user_data blob for perf_event (XCC)
[akaros.git] / kern / arch / x86 / arch.h
index 9865bb2..20efdf9 100644 (file)
@@ -121,7 +121,7 @@ static inline void disable_irqsave(int8_t *state)
 {
        if ((*state == 0) && irq_is_enabled())
                disable_irq();
-       else 
+       else
                (*state)--;
 }
 
@@ -130,8 +130,8 @@ static inline void cpu_relax(void)
        __cpu_relax();
 }
 
-/* This doesn't atomically enable interrupts and then halt, like we want, so
- * x86 needs to use a custom helper in the irq handler in trap.c. */
+/* This atomically enables interrupts and halts.  sti does not take effect until
+ * after the *next* instruction */
 static inline void cpu_halt(void)
 {
        asm volatile("sti; hlt" : : : "memory");