Changeset 754 for soft/giet_vm/giet_drivers/rdk_driver.c

Timestamp:

Jan 7, 2016, 4:12:54 PM (8 years ago)

Author:

cfuguet

Message:

• Support to have a single terminal (NB_TTY_CHANNEL = 1). In this case, the terminal is shared by the system and the applications.

• Support platforms without NIC and CMA.

• In the MMC driver, do not initialize the distributed driver structure in clusters without memory cache (IO clusters in the LETI platform).

File:

• soft/giet_vm/giet_drivers/rdk_driver.c (modified) (2 diffs)

soft/giet_vm/giet_drivers/rdk_driver.c

@@ -26 +26 @@
 #if USE_IOC_RDK
 
-#if GIET_DEBUG_IOC_DRIVER
+#if GIET_DEBUG_IOC
 unsigned int procid  = _get_procid();
 unsigned int x       = procid >> (Y_WIDTH + P_WIDTH);
@@ -37 +37 @@
 
     char* rdk = (char*)SEG_RDK_BASE + (512*lba);
-    char* buf = (char*)buf_paddr;
+    char* buf = (char*)buf_vaddr;
 
     if ( to_mem ) memcpy( buf, rdk, count*512 );