- Timestamp:
- Aug 21, 2018, 9:52:25 PM (6 years ago)
- Location:
- trunk/kernel/devices
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/kernel/devices/dev_fbf.c
r471 r483 84 84 85 85 /////////////////////// 86 error_t dev_fbf_alloc( )86 error_t dev_fbf_alloc( void ) 87 87 { 88 88 // get extended pointer on FBF chdev descriptor … … 101 101 102 102 /////////////////// 103 void dev_fbf_free( )103 void dev_fbf_free( void ) 104 104 { 105 105 // get extended pointer on FBF chdev descriptor -
trunk/kernel/devices/dev_fbf.h
r457 r483 118 118 * @ return 0 if success / return EINVAL if frame buffer already allocated. 119 119 *****************************************************************************************/ 120 error_t dev_fbf_alloc( );120 error_t dev_fbf_alloc( void ); 121 121 122 122 /****************************************************************************************** 123 123 * This function releases the exclusive ownership of the frame buffer. 124 124 *****************************************************************************************/ 125 void dev_fbf_free( );125 void dev_fbf_free( void ); 126 126 127 127 /****************************************************************************************** -
trunk/kernel/devices/dev_pic.c
r457 r483 150 150 151 151 ///////////////////////// 152 void dev_pic_enable_ipi( )152 void dev_pic_enable_ipi( void ) 153 153 { 154 154 … … 195 195 196 196 ////////////////////// 197 void dev_pic_ack_ipi( )197 void dev_pic_ack_ipi( void ) 198 198 { 199 199 … … 217 217 218 218 ///////////////////////////// 219 void dev_pic_inputs_display( )219 void dev_pic_inputs_display( void ) 220 220 { 221 221 uint32_t k; -
trunk/kernel/devices/dev_pic.h
r457 r483 227 227 * This function activates the IPI_IRQ for the calling core. 228 228 ****************************************************************************************/ 229 void dev_pic_enable_ipi( );229 void dev_pic_enable_ipi( void ); 230 230 231 231 /***************************************************************************************** … … 243 243 * in the local LAPIC component. 244 244 ****************************************************************************************/ 245 void dev_pic_ack_ipi( );245 void dev_pic_ack_ipi( void ); 246 246 247 247 /***************************************************************************************** … … 249 249 * that register the input IRQS for the external IOPIC controller. 250 250 ****************************************************************************************/ 251 void dev_pic_inputs_display( );251 void dev_pic_inputs_display( void ); 252 252 253 253 #endif /* _DEV_PIC_H_ */
Note: See TracChangeset
for help on using the changeset viewer.