Changeset 297 for soft/giet_vm/giet_drivers/mmc_driver.c

Timestamp:

Mar 28, 2014, 10:48:51 AM (11 years ago)

Author:

alain

Message:

Bug fix in both _tty_rx_isr() and _bdv_isr():
The ISR must do nothing it the status indicates that
there is no pending ISR.

File:

• soft/giet_vm/giet_drivers/mmc_driver.c (modified) (3 diffs)

soft/giet_vm/giet_drivers/mmc_driver.c

@@ -41 +41 @@
 
 ///////////////////////////////////////////////////////////////////////////////////
-// _memc_inval()
 // This function invalidates all cache lines covering a memory buffer defined
 // by the physical base address, and the length.
 // The buffer address MSB are used to compute the cluster index.
 ///////////////////////////////////////////////////////////////////////////////////
-void _memc_inval( paddr_t      buf_paddr,
-                  unsigned int buf_length )
+void _mmc_inval( paddr_t      buf_paddr,
+                 unsigned int buf_length )
 {
     // compute cluster coordinates
@@ -78 +77 @@
 }
 ///////////////////////////////////////////////////////////////////////////////////
-// _memc_sync()
 // This function copies to external RAM all cache lines covering a memory buffer 
 // defined by the physical base address, and the length, if they are dirty.
 // The buffer address MSB are used to compute the cluster index.
 ///////////////////////////////////////////////////////////////////////////////////
-void _memc_sync( paddr_t      buf_paddr,
-                 unsigned int buf_length )
+void _mmc_sync( paddr_t      buf_paddr,
+                unsigned int buf_length )
 {
     // compute cluster coordinates
@@ -115 +113 @@
 }
 
+//////////////////////////////////////////////////////////////////////////////////
+// This ISR access the vci_mem_cache component to get the faulty physical
+// address and the associated SRCID. It must also acknowledge the IRQ.
+//
+// TODO implement...
+//////////////////////////////////////////////////////////////////////////////////
+void _mmc_isr( unsigned int irq_type,  // should be HWI 
+               unsigned int irq_id,    // index returned by ICU
+               unsigned int channel )  // unused
+{
+    _printf("[GIET ERROR] MMC IRQ received, but _mmc_isr() not implemented...\n");
+}
+
+
+
 // Local Variables:
 // tab-width: 4