Message type for SYS_SETTIME

Change-Id: I10c2c27c0c9749b49d70735175e530b4341440dc
This commit is contained in:
2014-05-22 15:31:51 +02:00
parent 9d1ed02a04
commit c59c5caceb
4 changed files with 28 additions and 22 deletions

View File

@@ -2,10 +2,10 @@
* m_type: SYS_SETTIME
*
* The parameters for this kernel call are:
* m4_l2: T_SETTIME_NOW
* m4_l3: T_CLOCK_ID
* m4_ll1: T_TIME_SEC
* m4_l5: T_TIME_NSEC
* m_lsys_krn_sys_settime.now
* m_lsys_krn_sys_settime.clock_id
* m_lsys_krn_sys_settime.sec
* m_lsys_krn_sys_settime.nsec
*/
#include "kernel/system.h"
@@ -21,31 +21,32 @@ int do_settime(struct proc * caller, message * m_ptr)
int32_t ticks;
time_t timediff, timediff_ticks;
if (m_ptr->T_CLOCK_ID != CLOCK_REALTIME) /* only realtime can change */
if (m_ptr->m_lsys_krn_sys_settime.clock_id != CLOCK_REALTIME) /* only realtime can change */
return EINVAL;
if (m_ptr->T_SETTIME_NOW == 0) { /* user just wants to adjtime() */
if (m_ptr->m_lsys_krn_sys_settime.now == 0) { /* user just wants to adjtime() */
/* convert delta value from seconds and nseconds to ticks */
ticks = (m_ptr->T_TIME_SEC * system_hz) +
(m_ptr->T_TIME_NSEC/(1000000000/system_hz));
ticks = (m_ptr->m_lsys_krn_sys_settime.sec * system_hz) +
(m_ptr->m_lsys_krn_sys_settime.nsec/(1000000000/system_hz));
set_adjtime_delta(ticks);
return(OK);
} /* else user wants to set the time */
timediff = m_ptr->T_TIME_SEC - boottime;
timediff = m_ptr->m_lsys_krn_sys_settime.sec - boottime;
timediff_ticks = timediff * system_hz;
/* prevent a negative value for realtime */
if (m_ptr->T_TIME_SEC <= boottime ||
if (m_ptr->m_lsys_krn_sys_settime.sec <= boottime ||
timediff_ticks < LONG_MIN/2 || timediff_ticks > LONG_MAX/2) {
/* boottime was likely wrong, try to correct it. */
boottime = m_ptr->T_TIME_SEC;
boottime = m_ptr->m_lsys_krn_sys_settime.sec;
set_realtime(1);
return(OK);
}
/* calculate the new value of realtime in ticks */
newclock = timediff_ticks + (m_ptr->T_TIME_NSEC/(1000000000/system_hz));
newclock = timediff_ticks +
(m_ptr->m_lsys_krn_sys_settime.nsec/(1000000000/system_hz));
set_realtime(newclock);