Changeset 483 for trunk/kernel/devices/dev_pic.h
- Timestamp:
- Aug 21, 2018, 9:52:25 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
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.