Ignore:
Timestamp:
May 9, 2018, 3:13:56 PM (4 years ago)
Author:
alain
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/syscalls/sys_write.c

    r440 r441  
    184184if( DEBUG_SYS_WRITE < tm_end )
    185185printk("\n[DBG] %s : thread %x exit / process %x / cycle %d\n"
    186 "nbytes = %d / first byte = %c / file_id = %d / cost = %d\n",
     186"nbytes = %d / file_id = %d / cost = %d\n",
    187187__FUNCTION__, this, process->pid, (uint32_t)tm_start,
    188 nbytes, *((char *)(intptr_t)paddr) , file_id , (uint32_t)(tm_end - tm_start) );
     188nbytes, file_id , (uint32_t)(tm_end - tm_start) );
    189189#endif
    190190 
     
    192192exit_sys_write = (uint32_t)tm_end;
    193193
    194 printk("\n@@@@@@@@@@@@ timing to write string %c\n"
     194printk("\n@@@@@@@@@@@@ timing to write\n"
    195195" - enter_sys_write          = %d / delta %d\n"
    196196" - enter_devfs_write        = %d / delta %d\n"
     
    207207" - exit_devfs_write         = %d / delta %d\n"
    208208" - exit_sys_write           = %d / delta %d\n",
    209 *((char *)(intptr_t)paddr) ,
    210209enter_sys_write          , 0 ,
    211210enter_devfs_write        , enter_devfs_write        - enter_sys_write          ,
Note: See TracChangeset for help on using the changeset viewer.