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

Timestamp:

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

Author:

alain

Message:

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

File:

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

trunk/kernel/syscalls/sys_write.c

@@ -184 +184 @@
 if( DEBUG_SYS_WRITE < 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) );
+nbytes, file_id , (uint32_t)(tm_end - tm_start) );
 #endif
  
@@ -192 +192 @@
 exit_sys_write = (uint32_t)tm_end;
 
-printk("\n@@@@@@@@@@@@ timing to write string %c\n"
+printk("\n@@@@@@@@@@@@ timing to write\n"
 " - enter_sys_write          = %d / delta %d\n"
 " - enter_devfs_write        = %d / delta %d\n"
@@ -207 +207 @@
 " - exit_devfs_write         = %d / delta %d\n"
 " - exit_sys_write           = %d / delta %d\n",
-*((char *)(intptr_t)paddr) ,
 enter_sys_write          , 0 ,
 enter_devfs_write        , enter_devfs_write        - enter_sys_write          ,