Changeset 480 for trunk/hal

Timestamp:

Aug 21, 2018, 9:51:23 PM (6 years ago)

Author:

viala@…

Message:

[hal/generic] Add void type to function prototypes with no parameter

Location:

trunk/hal/generic

Files:

• hal_exception.h (modified) (1 diff)
• hal_interrupt.h (modified) (1 diff)
• hal_special.h (modified) (5 diffs)
• hal_syscall.h (modified) (1 diff)
• hal_user.h (modified) (1 diff)

trunk/hal/generic/hal_exception.h

@@ -54 +54 @@
  * the hardware for a given thread running on a given core.
  ****************************************************************************************/
-void hal_do_exception();
+void hal_do_exception( void );
 
 #endif  // _HAL_EXCEPTION_H_

trunk/hal/generic/hal_interrupt.h

@@ -39 +39 @@
  * This function implements the TSAR_MIPS32 specific interrupt handler.
  *************************************************************************************/
-void hal_do_interrupt();
+void hal_do_interrupt( void );
 
 

trunk/hal/generic/hal_special.h

@@ -41 +41 @@
  * This function returns the calling core status register value.
  ****************************************************************************************/
-inline reg_t hal_get_sr();
+inline reg_t hal_get_sr( void );
 
 /*****************************************************************************************
  * This function returns the global core identifier from the calling core register.
  ****************************************************************************************/
-inline gid_t hal_get_gid();
+inline gid_t hal_get_gid( void );
 
 /*****************************************************************************************
@@ -52 +52 @@
  * This cycle counter is reset when the core is initialised (at each boot).
  ****************************************************************************************/
-inline reg_t hal_time_stamp();
+inline reg_t hal_time_stamp( void );
 
 /*****************************************************************************************
@@ -59 +59 @@
  * This cycle counter is reset when the core is initialised (at each boot).
  ****************************************************************************************/
-cycle_t hal_get_cycles();
+cycle_t hal_get_cycles( void );
 
 /*****************************************************************************************
  * This function returns the current thread pointer from the calling core register.
  ****************************************************************************************/
-inline struct thread_s * hal_get_current_thread();
+inline struct thread_s * hal_get_current_thread( void );
 
 /*****************************************************************************************
@@ -74 +74 @@
  * This function writes into the proper core register to enable the floating point unit.
  ****************************************************************************************/
-void hal_fpu_enable();
+void hal_fpu_enable( void );
 
 /*****************************************************************************************
  * This function writes into the proper core register to disable the floating point unit.
  ****************************************************************************************/
-void hal_fpu_disable();
+void hal_fpu_disable( void );
 
 /*****************************************************************************************
  * This function returns the current value of stack pointer from core register.
  ****************************************************************************************/
-uint32_t hal_get_stack();
+uint32_t hal_get_stack( void );
 
 /*****************************************************************************************
  * This function registers a new value in the core stack pointer and returns previous one.
  ****************************************************************************************/
-extern inline uint32_t hal_set_stack( void * new_val );
+inline uint32_t hal_set_stack( void * new_val );
 
 /*****************************************************************************************
  * This function returns the faulty address in case of address exception.
  ****************************************************************************************/
-uint32_t hal_get_bad_vaddr();
+uint32_t hal_get_bad_vaddr( void );
 
 /*****************************************************************************************
@@ -112 +112 @@
  * This blocking function flushes the write buffer to synchronize all pending writes.
  ****************************************************************************************/
-void hal_fence();
+void hal_fence( void );
 
 /*****************************************************************************************
  * This forbids code reordering accross this barrier by the compiler.
  ****************************************************************************************/
-void hal_rdbar();
+void hal_rdbar( void );
 
 /*****************************************************************************************
  * This function forces the calling core in idle-low-power mode.
  ****************************************************************************************/
-void hal_core_sleep();
+void hal_core_sleep( void ) __attribute__((__noreturn__));
 
 /*****************************************************************************************

trunk/hal/generic/hal_syscall.h

@@ -46 +46 @@
  * This function implements the syscall handler for the TSAR architecture.
  *************************************************************************************/
-void hal_do_syscall();
+void hal_do_syscall( void );
 
 

trunk/hal/generic/hal_user.h

@@ -67 +67 @@
  * It actually flush the calling core write buffer.
  ****************************************************************************************/
-void hal_user_fence();
+void hal_user_fence( void );