Changeset 697 for soft/giet_vm/giet_kernel/irq_handler.h

Timestamp:

Aug 7, 2015, 5:42:06 PM (9 years ago)

Author:

guerin

Message:

kernel: release WTI mailbox associated with TTY

We don't block on giet_tty_alloc() anymore when launching the same app
again and again.

File:

• soft/giet_vm/giet_kernel/irq_handler.h (modified) (1 diff)

soft/giet_vm/giet_kernel/irq_handler.h

@@ -96 +96 @@
 
 extern void _ext_irq_release( unsigned int isr_type,
-                              unsigned int isr_channel,
-                              unsigned int wti_index );
+                              unsigned int isr_channel );
 
 ///////////////////////////////////////////////////////////////////////////