Index: /soft/giet_vm/giet_fat32/fat32.c
===================================================================
--- /soft/giet_vm/giet_fat32/fat32.c	(revision 550)
+++ /soft/giet_vm/giet_fat32/fat32.c	(revision 551)
@@ -76,24 +76,11 @@
 #endif
 
-    // cache coherence for both L1 & L2 caches
-    if ( to_mem ) // memory write  
-    {
-        // L1 cache (only if L1 cache coherence not guaranteed by hardware)
-        if ( GIET_NO_HARD_CC ) _dcache_buf_invalidate( buf_vaddr, count<<9 );
-
-        // L2 cache (only if we use an IO-Bridge component in architecture))
-        if ( USE_IOB ) _mmc_inval( buf_paddr, count<<9 );
-    }
-    else         // memory read 
-    {
-        // L1 cache : nothing to do for L1 write-through
-
-        // L2 cache (only if we use an IO-Bridge component in architecture))
-        if ( USE_IOB ) _mmc_sync( buf_paddr, count<<9 );
-    }
-
-    // call the proper descheduling physical device driver 
-  
-#if   ( USE_IOC_BDV )
+
+#if GIET_NO_HARD_CC     // L1 cache inval (virtual addresses)
+    if ( to_mem ) _dcache_buf_invalidate( buf_vaddr, count<<9 );
+#endif
+
+
+#if   ( USE_IOC_BDV )   // call the proper driver
     return( _bdv_access( use_irq , to_mem , lba , buf_paddr , count ) ); 
 #elif ( USE_IOC_HBA )
@@ -959,5 +946,5 @@
 unsigned int p       = procid & ((1<<P_WIDTH)-1);
 
-_printf("\n[DEBUG FAT] P[%d,%d,%d] enters _scan_directory() for %s\n",
+_printf("\n[DEBUG FAT] _scan_directory() : P[%d,%d,%d] enters for %s\n",
       x, y, p, file_name );
 #endif
@@ -1273,5 +1260,5 @@
 unsigned int y       = (procid >> P_WIDTH) & ((1<<Y_WIDTH)-1);
 unsigned int p       = procid & ((1<<P_WIDTH)-1);
-_printf("\n[DEBUG FAT] P[%d,%d,%d] enters _fat_open() for path %s\n",
+_printf("\n[DEBUG FAT] _fat_open() : P[%d,%d,%d] enters for path %s\n",
         x, y, p, pathname );
 #endif