Changeset 570 for trunk/hal/tsar_mips32/core/hal_special.c

Timestamp:

Oct 5, 2018, 12:08:35 AM (6 years ago)

Author:

alain

Message:

Introduction of the soclib_mty driver for the TSAR-LETI architecture.

File:

• trunk/hal/tsar_mips32/core/hal_special.c (modified) (10 diffs)

trunk/hal/tsar_mips32/core/hal_special.c

@@ -32 +32 @@
 struct thread_s;
 
-//////////////////////////
+////////////////////////////////
 inline gid_t hal_get_gid( void )
 {
@@ -42 +42 @@
 }
 
-/////////////////////////////
+///////////////////////////////////
 inline reg_t hal_time_stamp( void )
 {
@@ -52 +52 @@
 }
 
-/////////////////////////
+///////////////////////////////
 inline reg_t hal_get_sr( void )
 {
@@ -62 +62 @@
 }
 
-/////////////////////////
+///////////////////////////////
 uint64_t hal_get_cycles( void )
 {
@@ -94 +94 @@
 }
 
-/////////////////////////////////////////////////
+///////////////////////////////////////////////////////
 inline struct thread_s * hal_get_current_thread( void )
 {
@@ -110 +110 @@
 }
 
-/////////////////////
+///////////////////////////
 void hal_fpu_enable( void )
 {
@@ -127 +127 @@
 }
 
-//////////////////////
+////////////////////////////
 void hal_fpu_disable( void )
 {
@@ -145 +145 @@
 }
 
-////////////////////////
+//////////////////////////////
 uint32_t hal_get_stack( void )
 {
@@ -168 +168 @@
 }
 
-////////////////////////////
+//////////////////////////////////
 uint32_t hal_get_bad_vaddr( void )
 {
@@ -201 +201 @@
 }
 
-////////////////
-void hal_fence( void )
+/////////////////////////////
+inline void hal_fence( void )
 {
         asm volatile ("sync");
 }
 
-////////////////
-void hal_rdbar( void )
+/////////////////////////////
+inline void hal_rdbar( void )
 {
         asm volatile( "" ::: "memory" );
 }
 
-/////////////////////
+///////////////////////////
 void hal_core_sleep( void )
 {