Changeset 441 for trunk/kernel/syscalls/sys_read.c

Timestamp:

May 9, 2018, 3:13:56 PM (5 years ago)

Author:

alain

Message:

Fix a bug in rpc_vmm_get_pte_client() function (bad RPC index).

File:

• trunk/kernel/syscalls/sys_read.c (modified) (3 diffs)

trunk/kernel/syscalls/sys_read.c

@@ -223 +223 @@
 if( DEBUG_SYS_READ < tm_end )
 printk("\n[DBG] %s : thread %x exit / process %x / cycle %d\n"
-"nbytes = %d / first byte = %c / file_id = %d / cost = %d\n",
+"nbytes = %d / file_id = %d / cost = %d\n",
 __FUNCTION__ , this, process->pid,
-(uint32_t)tm_start , nbytes , *((char *)(intptr_t)paddr) , file_id ,
-(uint32_t)(tm_end - tm_start) );
+(uint32_t)tm_start , nbytes , file_id , (uint32_t)(tm_end - tm_start) );
 #endif
 
@@ -232 +231 @@
 exit_sys_read = (uint32_t)tm_end;
 
-printk("\n@@@@@@@@@@@@ timing to read character %c\n"
+printk("\n@@@@@@@@@@@@ timing to read character\n"
 " - enter_sys_read          = %d / delta %d\n"
 " - enter_devfs_read        = %d / delta %d\n"
@@ -247 +246 @@
 " - exit_devfs_read         = %d / delta %d\n"
 " - exit_sys_read           = %d / delta %d\n",
-*((char *)(intptr_t)paddr) ,
 enter_sys_read          , 0 ,
 enter_devfs_read        , enter_devfs_read        - enter_sys_read          ,