Changeset 481

Timestamp:

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

Author:

viala@…

Message:

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

Location:

trunk/hal/tsar_mips32

Files:

• core/hal_exception.c (modified) (1 diff)
• core/hal_interrupt.c (modified) (1 diff)
• core/hal_kentry.h (modified) (2 diffs)
• core/hal_special.c (modified) (12 diffs)
• core/hal_syscall.c (modified) (1 diff)
• core/hal_user.c (modified) (1 diff)
• drivers/soclib_pic.c (modified) (5 diffs)
• drivers/soclib_pic.h (modified) (4 diffs)

trunk/hal/tsar_mips32/core/hal_exception.c

@@ -396 +396 @@
 
 ///////////////////////
-void hal_do_exception()
+void hal_do_exception( void )
 {
     uint32_t   * uzone;

trunk/hal/tsar_mips32/core/hal_interrupt.c

@@ -30 +30 @@
 
 ///////////////////////
-void hal_do_interrupt()
+void hal_do_interrupt( void )
 {
     // ALMOS-MKH does not define a generic interrupt handler.

trunk/hal/tsar_mips32/core/hal_kentry.h

@@ -97 +97 @@
  * to address contained in EPC calling hal_kentry_eret()
  ************************************************************************************/
-void hal_kentry_enter();
+void hal_kentry_enter( void );
 
 /*************************************************************************************
@@ -104 +104 @@
  * contained in the c0_epc register. 
  * ************************************************************************************/
-void hal_kentry_eret();
+void hal_kentry_eret( void );
 
 #endif  /* _HAL_KENTRY_H_ */

trunk/hal/tsar_mips32/core/hal_special.c

@@ -33 +33 @@
 
 //////////////////////////
-inline gid_t hal_get_gid()
+inline gid_t hal_get_gid( void )
 {
         uint32_t proc_id;
@@ -43 +43 @@
 
 /////////////////////////////
-inline reg_t hal_time_stamp()
+inline reg_t hal_time_stamp( void )
 {
     reg_t count;
@@ -53 +53 @@
 
 /////////////////////////
-inline reg_t hal_get_sr()
+inline reg_t hal_get_sr( void )
 {
     reg_t sr;
@@ -63 +63 @@
 
 /////////////////////////
-uint64_t hal_get_cycles()
+uint64_t hal_get_cycles( void )
 {
         uint64_t cycles;                // absolute time to be returned
@@ -95 +95 @@
 
 /////////////////////////////////////////////////
-inline struct thread_s * hal_get_current_thread()
+inline struct thread_s * hal_get_current_thread( void )
 {
         void * thread_ptr;
@@ -111 +111 @@
 
 /////////////////////
-void hal_fpu_enable()
+void hal_fpu_enable( void )
 {
     // set CU1 bit (FPU enable) in c0_sr
@@ -128 +128 @@
 
 //////////////////////
-void hal_fpu_disable()
+void hal_fpu_disable( void )
 {
     // reset CU1 bit (FPU enable) in c0_sr
@@ -146 +146 @@
 
 ////////////////////////
-uint32_t hal_get_stack()
+uint32_t hal_get_stack( void )
 {
         register uint32_t sp;
@@ -169 +169 @@
 
 ////////////////////////////
-uint32_t hal_get_bad_vaddr()
+uint32_t hal_get_bad_vaddr( void )
 {
         register uint32_t bad_va;
@@ -202 +202 @@
 
 ////////////////
-void hal_fence()
+void hal_fence( void )
 {
         asm volatile ("sync");
@@ -208 +208 @@
 
 ////////////////
-void hal_rdbar()
+void hal_rdbar( void )
 {
         asm volatile( "" ::: "memory" );
@@ -214 +214 @@
 
 /////////////////////
-void hal_core_sleep()
+void hal_core_sleep( void )
 {
         while( 1 ) asm volatile ("nop");

trunk/hal/tsar_mips32/core/hal_syscall.c

@@ -30 +30 @@
 
 /////////////////////
-void hal_do_syscall()
+void hal_do_syscall( void )
 {
     thread_t    * this;

trunk/hal/tsar_mips32/core/hal_user.c

@@ -84 +84 @@
 
 /////////////////////
-void hal_user_fence()
+void hal_user_fence( void )
 {
         asm volatile ( "sync" );

trunk/hal/tsar_mips32/drivers/soclib_pic.c

@@ -50 +50 @@
 
 ///////////////////////////////
-uint32_t soclib_pic_wti_alloc()
+uint32_t soclib_pic_wti_alloc( void )
 {
     uint32_t index;
@@ -69 +69 @@
 
 ///////////////////////////////////////
-inline uint32_t * soclib_pic_xcu_base()
+inline uint32_t * soclib_pic_xcu_base( void )
 {
     return ((soclib_pic_cluster_t *)(LOCAL_CLUSTER->pic_extend))->xcu_base;
@@ -112 +112 @@
 
 /////////////////////////////
-void soclib_pic_irq_handler()
+void soclib_pic_irq_handler( void )
 {
     uint32_t   hwi_status;   // HWI index + 1  / no pending HWI if 0
@@ -532 +532 @@
 
 ////////////////////////////
-void soclib_pic_enable_ipi()
+void soclib_pic_enable_ipi( void )
 {
     // calling core local index
@@ -557 +557 @@
 
 /////////////////////////
-void soclib_pic_ack_ipi()
+void soclib_pic_ack_ipi( void )
 {
     // get calling core local index

trunk/hal/tsar_mips32/drivers/soclib_pic.h

@@ -241 +241 @@
  * core local index.
  *****************************************************************************************/
-void soclib_pic_enable_ipi();
+void soclib_pic_enable_ipi( void );
 
 /******************************************************************************************
@@ -257 +257 @@
  * core local index.
  *****************************************************************************************/
-void soclib_pic_ack_ipi();
+void soclib_pic_ack_ipi( void );
 
 
@@ -277 +277 @@
  * large for the number of cores in the architecture, and the core goes to sleep.
  *****************************************************************************************/
-uint32_t soclib_pic_wti_alloc();
+uint32_t soclib_pic_wti_alloc( void );
 
 /******************************************************************************************
  * This function returns the local pointer on the local XCU base segment.
  *****************************************************************************************/
-uint32_t * soclib_pic_xcu_base();
+uint32_t * soclib_pic_xcu_base( void );
 
 /******************************************************************************************
@@ -304 +304 @@
  * This SOCLIB PIC specific is the call-back function is the interrupt handler.
  *****************************************************************************************/
-void soclib_pic_irq_handler();
+void soclib_pic_irq_handler( void );