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

Timestamp:

Nov 3, 2014, 10:53:00 AM (10 years ago)

Author:

alain

Message:

Introducing dynamic allocation of peripheral channel(TTY, NIC, TIM, CMA)
Removint the ICU driver : ICU component not supported anymore.
Removing the FBF driver.

File:

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

soft/giet_vm/giet_drivers/mmc_driver.c

@@ -5 +5 @@
 // Copyright (c) UPMC-LIP6
 ///////////////////////////////////////////////////////////////////////////////////
-// The mmc_driver.c and mmc_driver.h files are part ot the GIET-VM nano-kernel.
-// This driver supports the vci_mem_cache component used in the TSAR architecture.
-//
-// This component is replicated in all clusters, and can be accessed through 
-// a configuration interface as a set of uncached, memory mapped registers.
-//
-// The (virtual) base address of the associated segment is:
-//       SEG_MMC_BASE + cluster_id * PERI_CLUSTER_INCREMENT
-//
-// SEG_MMC_BASE and PERI_CLUSTER_INCREMENT must be defined in hard_config.h.
-////////////////////////////////////////////////////////////////////////////////
 
 #include <giet_config.h>
@@ -82 +71 @@
 }
 
-///////////////////////////////////////////////////////////////////////////////////
-// 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 _mmc_inval( paddr_t      buf_paddr,
                  unsigned int buf_length )
@@ -98 +83 @@
     if ( (x >= X_SIZE) || (y >= Y_SIZE) )
     {
-        _printf("\n[GIET ERROR] in _memc_inval() : illegal cluster_xy for paddr %l\n",
-                 buf_paddr );
+        _puts("\n[GIET ERROR] in _memc_inval() : illegal cluster coordinates\n");
         _exit();
     }
@@ -115 +99 @@
     _mmc_set_register(cluster_xy, 0, MEMC_LOCK, 0);
 }
-///////////////////////////////////////////////////////////////////////////////////
-// 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 _mmc_sync( paddr_t      buf_paddr,
                 unsigned int buf_length )
@@ -131 +112 @@
     if ( (x >= X_SIZE) || (y >= Y_SIZE) )
     {
-        _printf( "\n[GIET ERROR] in _memc_sync() : illegal cluster_xy for paddr %l\n",
-                 buf_paddr );
+        _puts( "\n[GIET ERROR] in _memc_sync() : illegal cluster coordinates");
         _exit();
     }
@@ -149 +129 @@
 }
 
-//////////////////////////////////////////////////////////////////////////////////
-// 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
@@ -163 +138 @@
     unsigned int x          = cluster_xy >> Y_WIDTH;
     unsigned int y          = cluster_xy & ((1<<Y_WIDTH)-1);
-    unsigned int lpid       = gpid & ((1<<P_WIDTH)-1);
+    unsigned int p          = gpid & ((1<<P_WIDTH)-1);
 
-    _printf("[GIET ERROR] MMC IRQ received by processor[%d,%d,%d]"
-            " but _mmc_isr() not implemented...\n", x, y, lpid );
+    _puts("[GIET ERROR] MMC IRQ received by processor[");
+    _putd( x );
+    _puts(",");
+    _putd( y );
+    _puts(",");
+    _putd( p );
+    _puts("] but _mmc_isr() not implemented\n");
 }