Changeset 480 for trunk/hal


Ignore:
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:
5 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/generic/hal_exception.h

    r457 r480  
    5454 * the hardware for a given thread running on a given core.
    5555 ****************************************************************************************/
    56 void hal_do_exception();
     56void hal_do_exception( void );
    5757
    5858#endif  // _HAL_EXCEPTION_H_
  • trunk/hal/generic/hal_interrupt.h

    r457 r480  
    3939 * This function implements the TSAR_MIPS32 specific interrupt handler.
    4040 *************************************************************************************/
    41 void hal_do_interrupt();
     41void hal_do_interrupt( void );
    4242
    4343
  • trunk/hal/generic/hal_special.h

    r457 r480  
    4141 * This function returns the calling core status register value.
    4242 ****************************************************************************************/
    43 inline reg_t hal_get_sr();
     43inline reg_t hal_get_sr( void );
    4444
    4545/*****************************************************************************************
    4646 * This function returns the global core identifier from the calling core register.
    4747 ****************************************************************************************/
    48 inline gid_t hal_get_gid();
     48inline gid_t hal_get_gid( void );
    4949
    5050/*****************************************************************************************
     
    5252 * This cycle counter is reset when the core is initialised (at each boot).
    5353 ****************************************************************************************/
    54 inline reg_t hal_time_stamp();
     54inline reg_t hal_time_stamp( void );
    5555
    5656/*****************************************************************************************
     
    5959 * This cycle counter is reset when the core is initialised (at each boot).
    6060 ****************************************************************************************/
    61 cycle_t hal_get_cycles();
     61cycle_t hal_get_cycles( void );
    6262
    6363/*****************************************************************************************
    6464 * This function returns the current thread pointer from the calling core register.
    6565 ****************************************************************************************/
    66 inline struct thread_s * hal_get_current_thread();
     66inline struct thread_s * hal_get_current_thread( void );
    6767
    6868/*****************************************************************************************
     
    7474 * This function writes into the proper core register to enable the floating point unit.
    7575 ****************************************************************************************/
    76 void hal_fpu_enable();
     76void hal_fpu_enable( void );
    7777
    7878/*****************************************************************************************
    7979 * This function writes into the proper core register to disable the floating point unit.
    8080 ****************************************************************************************/
    81 void hal_fpu_disable();
     81void hal_fpu_disable( void );
    8282
    8383/*****************************************************************************************
    8484 * This function returns the current value of stack pointer from core register.
    8585 ****************************************************************************************/
    86 uint32_t hal_get_stack();
     86uint32_t hal_get_stack( void );
    8787
    8888/*****************************************************************************************
    8989 * This function registers a new value in the core stack pointer and returns previous one.
    9090 ****************************************************************************************/
    91 extern inline uint32_t hal_set_stack( void * new_val );
     91inline uint32_t hal_set_stack( void * new_val );
    9292
    9393/*****************************************************************************************
    9494 * This function returns the faulty address in case of address exception.
    9595 ****************************************************************************************/
    96 uint32_t hal_get_bad_vaddr();
     96uint32_t hal_get_bad_vaddr( void );
    9797
    9898/*****************************************************************************************
     
    112112 * This blocking function flushes the write buffer to synchronize all pending writes.
    113113 ****************************************************************************************/
    114 void hal_fence();
     114void hal_fence( void );
    115115
    116116/*****************************************************************************************
    117117 * This forbids code reordering accross this barrier by the compiler.
    118118 ****************************************************************************************/
    119 void hal_rdbar();
     119void hal_rdbar( void );
    120120
    121121/*****************************************************************************************
    122122 * This function forces the calling core in idle-low-power mode.
    123123 ****************************************************************************************/
    124 void hal_core_sleep();
     124void hal_core_sleep( void ) __attribute__((__noreturn__));
    125125
    126126/*****************************************************************************************
  • trunk/hal/generic/hal_syscall.h

    r457 r480  
    4646 * This function implements the syscall handler for the TSAR architecture.
    4747 *************************************************************************************/
    48 void hal_do_syscall();
     48void hal_do_syscall( void );
    4949
    5050
  • trunk/hal/generic/hal_user.h

    r459 r480  
    6767 * It actually flush the calling core write buffer.
    6868 ****************************************************************************************/
    69 void hal_user_fence();
     69void hal_user_fence( void );
    7070
    7171
Note: See TracChangeset for help on using the changeset viewer.