Changeset 503 for trunk/kernel/devices

Timestamp:

Aug 25, 2018, 6:28:18 PM (6 years ago)

Author:

viala@…

Message:

Add void type on function that takes no parameters, fix invalid call.

Fix invalid calls to thread_can_yield.

In file included from kern/chdev.c:29:
kern/chdev.c: In function 'chdev_sequencial_server':
kern/chdev.c:329:21: error: too many arguments to function 'thread_can_yield'

assert( thread_can_yield( server ) , "illegal sched_yield\n" );

^~

Also fixed signature of mapper_create.

File:

• trunk/kernel/devices/dev_pic.h (modified) (1 diff)

trunk/kernel/devices/dev_pic.h

@@ -84 +84 @@
  ****************************************************************************************/
 
-typedef void   (bind_irq_t)     ( lid_t lid , struct chdev_s * src_chdev );   
-typedef void   (enable_irq_t)   ( lid_t lid , xptr_t src_chdev_xp );   
-typedef void   (disable_irq_t)  ( lid_t lid , xptr_t src_chdev_xp );   
-typedef void   (enable_timer_t) ( uint32_t period );   
-typedef void   (enable_ipi_t)   ( );   
-typedef void   (send_ipi_t)     ( cxy_t cxy , lid_t lid ); 
-typedef void   (ack_ipi_t)      ( );   
-typedef void   (extend_init_t)  ( uint32_t * lapic_base ); 
+typedef void   (bind_irq_t)     ( lid_t lid , struct chdev_s * src_chdev );
+typedef void   (enable_irq_t)   ( lid_t lid , xptr_t src_chdev_xp );
+typedef void   (disable_irq_t)  ( lid_t lid , xptr_t src_chdev_xp );
+typedef void   (enable_timer_t) ( uint32_t period );
+typedef void   (enable_ipi_t)   ( void );
+typedef void   (send_ipi_t)     ( cxy_t cxy , lid_t lid );
+typedef void   (ack_ipi_t)      ( void );
+typedef void   (extend_init_t)  ( uint32_t * lapic_base );
   
 typedef struct pic_extend_s