Message type for SYS_STIME

Change-Id: Ic4401e736bb66960e2ea4b30f5e1946dd93fd76e
2014-07-28 17:05:48 +02:00
parent 1ca0b449b2
commit 9d1ed02a04
4 changed files with 11 additions and 5 deletions
@@ -2,7 +2,7 @@
 *   m_type:	SYS_STIME
 *
 * The parameters for this kernel call are:
- *    m4_ll1:	T_BOOTTIME
+ *   m_lsys_krn_sys_stime.boot_time
 */

 #include "kernel/system.h"
@@ -14,6 +14,6 @@
 *===========================================================================*/
 int do_stime(struct proc * caller, message * m_ptr)
 {
-  boottime= m_ptr->T_BOOTTIME;
+  boottime = m_ptr->m_lsys_krn_sys_stime.boot_time;
  return(OK);
 }