Changeset 279 for soft/giet_vm/giet_kernel/irq_handler.c

Timestamp:

Jan 26, 2014, 11:29:15 AM (11 years ago)

Author:

cfuguet

Message:

Modifications in the ioc_driver:

• Introducing uniform interface to access block device controller. All drivers for new disk controllers must respect the interface specified in the ioc_driver header file.

File:

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

soft/giet_vm/giet_kernel/irq_handler.c

@@ -151 +151 @@
 {
     // save status in _ioc_status variable and reset IRQ 
-    _ioc_status = _ioc_get_status(); 
+    if ( _ioc_get_status(0, &_ioc_status) ) return; 
 
     // reactivate task waiting on IOC