Changeset 483

Timestamp:

Aug 21, 2018, 9:52:25 PM (6 years ago)

Author:

viala@…

Message:

[devices] Add void type to function prototypes with no parameter

Location:

trunk/kernel/devices

Files:

• dev_fbf.c (modified) (2 diffs)
• dev_fbf.h (modified) (1 diff)
• dev_pic.c (modified) (3 diffs)
• dev_pic.h (modified) (3 diffs)

trunk/kernel/devices/dev_fbf.c

@@ -84 +84 @@
 
 ///////////////////////
-error_t dev_fbf_alloc()
+error_t dev_fbf_alloc( void )
 {
     // get extended pointer on FBF chdev descriptor
@@ -101 +101 @@
 
 ///////////////////
-void dev_fbf_free()
+void dev_fbf_free( void )
 {
     // get extended pointer on FBF chdev descriptor

trunk/kernel/devices/dev_fbf.h

@@ -118 +118 @@
  * @ return 0 if success / return EINVAL if frame buffer already allocated.
  *****************************************************************************************/
-error_t dev_fbf_alloc();
+error_t dev_fbf_alloc( void );
 
 /******************************************************************************************
  * This function releases the exclusive ownership of the frame buffer.
  *****************************************************************************************/
-void dev_fbf_free();
+void dev_fbf_free( void );
 
 /******************************************************************************************

trunk/kernel/devices/dev_pic.c

@@ -150 +150 @@
 
 /////////////////////////
-void dev_pic_enable_ipi()
+void dev_pic_enable_ipi( void )
 {
 
@@ -195 +195 @@
 
 //////////////////////
-void dev_pic_ack_ipi()
+void dev_pic_ack_ipi( void )
 {
 
@@ -217 +217 @@
 
 /////////////////////////////
-void dev_pic_inputs_display()
+void dev_pic_inputs_display( void )
 {
     uint32_t k;

trunk/kernel/devices/dev_pic.h

@@ -227 +227 @@
  * This function activates the IPI_IRQ for the calling core.
  ****************************************************************************************/
-void dev_pic_enable_ipi();
+void dev_pic_enable_ipi( void );
 
 /*****************************************************************************************
@@ -243 +243 @@
  * in the local LAPIC component.
  ****************************************************************************************/
-void dev_pic_ack_ipi();
+void dev_pic_ack_ipi( void );
 
 /*****************************************************************************************
@@ -249 +249 @@
  * that register the input IRQS for the external IOPIC controller.
  ****************************************************************************************/
-void dev_pic_inputs_display();
+void dev_pic_inputs_display( void );
 
 #endif  /* _DEV_PIC_H_ */