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

Timestamp:

Apr 4, 2018, 2:49:02 PM (6 years ago)

Author:

alain

Message:

Fix a bug in scheduler related to RPC blocking.

File:

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

trunk/kernel/syscalls/sys_write.c

@@ -46 +46 @@
     reg_t        save_sr;         // required to enable IRQs during syscall
 
-#if (CONFIG_DEBUG_SYS_WRITE_DEBUG & 1)
+#if (DEBUG_SYS_WRITE_DEBUG & 1)
 enter_sys_read = (uint32_t)tm_start;
 #endif
@@ -53 +53 @@
         process_t  * process = this->process;
 
-#if CONFIG_DEBUG_SYS_WRITE
+#if DEBUG_SYS_WRITE
 uint32_t     tm_start;
 uint32_t     tm_end;
 tm_start = hal_get_cycles();
-if( CONFIG_DEBUG_SYS_WRITE < tm_start )
+if( DEBUG_SYS_WRITE < tm_start )
 printk("\n[DBG] %s : thread %x enter / process %x / vaddr %x / count %d / cycle %d\n",
 __FUNCTION__, this, process->pid, vaddr, count, (uint32_t)tm_start );
@@ -66 +66 @@
         {
 
-#if CONFIG_DEBUG_SYSCALLS_ERROR
+#if DEBUG_SYSCALLS_ERROR
 printk("\n[ERROR] in %s : illegal file descriptor index\n", __FUNCTION__ );
 #endif
@@ -79 +79 @@
     {
 
-#if CONFIG_DEBUG_SYSCALLS_ERROR
+#if DEBUG_SYSCALLS_ERROR
 printk("\n[ERROR] in %s : user buffer unmapped = %x\n", __FUNCTION__ , (intptr_t)vaddr );
 #endif
@@ -95 +95 @@
     {
 
-#if CONFIG_DEBUG_SYSCALLS_ERROR
+#if DEBUG_SYSCALLS_ERROR
 printk("\n[ERROR] in %s : undefined file descriptor index = %d in process %x\n",
 __FUNCTION__ , file_id , process->pid );
@@ -119 +119 @@
             {
 
-#if CONFIG_DEBUG_SYSCALLS_ERROR
+#if DEBUG_SYSCALLS_ERROR
 printk("\n[ERROR] in %s : file %d not writable in process %x\n",
 __FUNCTION__ , file_id , process->pid );
@@ -150 +150 @@
     {
 
-#if CONFIG_DEBUG_SYSCALLS_ERROR
+#if DEBUG_SYSCALLS_ERROR
 printk("\n[ERROR] in %s cannot write data to file %d in process %x\n",
 __FUNCTION__ , file_id , process->pid );
@@ -163 +163 @@
     hal_fence();
 
-#if CONFIG_DEBUG_SYS_WRITE
+#if DEBUG_SYS_WRITE
 tm_end = hal_get_cycles();
-if( CONFIG_DEBUG_SYS_WRITE < tm_end )
+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",
@@ -172 +172 @@
 #endif
  
-#if (CONFIG_DEBUG_SYS_WRITE & 1) 
+#if (DEBUG_SYS_WRITE & 1) 
 exit_sys_write = (uint32_t)tm_end;