Changeset 435 for trunk/kernel/syscalls/syscalls.h

Timestamp:

Feb 20, 2018, 5:32:17 PM (6 years ago)

Author:

alain

Message:

Fix a bad bug in scheduler...

File:

• trunk/kernel/syscalls/syscalls.h (modified) (2 diffs)

trunk/kernel/syscalls/syscalls.h

@@ -508 +508 @@
  * The following macros can be used to extract information from status:
  * - WIFEXITED(status)   : is true if the child process terminated with an exit().
- * - WIFSIGNALED(status) : is true if the child process terminated by a signal.
+ * - WIFSIGNALED(status) : is true if the child process killed by a signal.
  * - WIFSTOPPED(status)  : is true if the child process is stopped by a signal.
  * - WEXITSTATUS(status) : returns the low-order 8 bits of the exit() argument.
@@ -558 +558 @@
  * [43] This debug function displays on the kernel terminal TXT0 an user defined string,
  * or the current state of a kernel structure, identified by the <type> argument.
- * The <arg0> and <arg1> arguments depends on the structure type. It can be:
- * - VMM     : VSL and GPT for a process identified by <pid>.
- * - SCHED   : all threads allocated to a scheduler identified by <cxy> & <lid>.
- * - PROCESS : all processes registered in a cluster identified by <cxy>.  
- * - VFS     : all files registered in the VFS cache. 
- * - CHDEV   : all registered channel devices.
- ******************************************************************************************
- * type     : [in] STRING / VMM / SCHED / PROCESS / VSEG / VFS 
+ * The <arg0> and <arg1> arguments depends on the structure type:
+ * - DISPLAY_STRING          : an user defined string
+ * - DISPLAY_VMM             : VSL and GPT for a process identified by <pid>.
+ * - DISPLAY_SCHED           : all threads allocated to a scheduler <cxy> & <lid>.
+ * - DISPLAY_CLUSTER_PROCESS : all processes registered in a cluster identified by <cxy>.  
+ * - DISPLAY_TXT_PROCESS     : all processes registered in a cluster identified by <cxy>.  
+ * - DISPLAY_VFS             : all files registered in the VFS cache. 
+ * - DISPLAY_CHDEV           : all registered channel devices.
+ ******************************************************************************************
+ * type      : [in] type of display 
  * arg0      : [in] type dependant argument.
  * arg1      : [in] type dependant argument.