Changeset 17 for trunk/hal/generic/hal_interrupt.h

Timestamp:

May 11, 2017, 7:49:17 PM (7 years ago)

Author:

max@…

Message:

Typos, and cosmetic.

File:

• trunk/hal/generic/hal_interrupt.h (modified) (3 diffs)

trunk/hal/generic/hal_interrupt.h

@@ -1 +1 @@
 /*
  * hal_interrupt.h - Architecture specific interrupt handler API definition.
- * 
+ *
  * Author   Alain Greiner (2016,2017)
  *
@@ -32 +32 @@
 // The interrupted thread context (core registers) has been saved by the hal_kentry
 // function, in the cpu_uzone array stored in the user thread descriptor (for a core in
-// user mode), or in the kernel stack (for a core in kernel mode). 
+// user mode), or in the kernel stack (for a core in kernel mode).
 // This array can be used (or not) by the specific interrupt handler.
 //
@@ -43 +43 @@
 
 /******************************************************************************************
- * This function implement the TSAR_MIPS32 specific interrupt handler.
+ * This function implements the TSAR_MIPS32 specific interrupt handler.
  ******************************************************************************************
  * @ this     : pointer on the interrupted thread.
  * @ regs_tbl : array containing the core registers values, saved by hal_kentry.
  *****************************************************************************************/
-void hal_do_interrupt( struct thread_s * this, 
+void hal_do_interrupt( struct thread_s * this,
                                reg_t           * regs_tbl );