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

Timestamp:

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

Author:

max@…

Message:

Typos, and cosmetic.

File:

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

trunk/hal/generic/hal_special.h

@@ -1 +1 @@
 /*
  * hal_special.h - Generic Special Registers Access API definition.
- * 
+ *
  * Authors   Ghassan Almaless (2008,2009,2010,2011,2012)
  *           Alain Greiner    (2016)
  *
  * Copyright (c)  UPMC Sorbonne Universites
- * 
+ *
  * This file is part of ALMOS-MKH.
  *
@@ -34 +34 @@
 ///////////////////////////////////////////////////////////////////////////////////////////
 //      Generic Special Registers Access API (implementation in hal_special.c)
-// 
+//
 // ALMOS-MKH uses the following API to access the MMU and other core protected registers.
 ///////////////////////////////////////////////////////////////////////////////////////////
@@ -112 +112 @@
 
 /*****************************************************************************************
- * This function returns after a fixed delay of  (4 * delay) cycles.
+ * This function returns after a fixed delay of (4 * delay) cycles.
  ****************************************************************************************/
 void hal_fixed_delay();
 
 /*****************************************************************************************
- * This function returns informations on MMU exceptions :
+ * This function returns information on MMU exceptions :
  * @ mmu_ins_excp_code : [out] instruction fetch exception code
  * @ mmu_ins_bad_vaddr : [out] instruction fetch faulty virtual address