get_proc_info () syscall, CE procinfo command

libsystem/system.c

@@ -110,3 +110,7 @@ int stream_write (int pgid, int rid, void* buffer, size_t size) {
 int stream_read (int pgid, int rid, void* buffer, size_t size) {
   return (int)do_syscall (SYS_STREAM_READ, pgid, rid, buffer, size);
 }
+
+int get_proc_info (struct proc_info* infos, size_t count) {
+  return (int)do_syscall (SYS_GET_PROC_INFO, infos, count);
+}

libsystem/system.h

@@ -3,6 +3,7 @@
 
 #include <desc.h>
 #include <dir_entry.h>
+#include <proc_info.h>
 #include <stddef.h>
 #include <stdint.h>
 
@@ -114,4 +115,7 @@ int stream_write (int pgid, int rid, void* buffer, size_t size);
 /* Read from a stream */
 int stream_read (int pgid, int rid, void* buffer, size_t size);
 
+/* get process information */
+int get_proc_info (struct proc_info* infos, size_t count);
+
 #endif // _LIBMSL_M_SYSTEM_H