blob: 19805871794835e30cb4adcc35bef908433d4c54 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
/* The kernel call implemented in this file:
* m_type: SYS_SETTIME
*
* The parameters for this kernel call are:
* 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"
#include <minix/endpoint.h>
#include <time.h>
/*===========================================================================*
* do_settime *
*===========================================================================*/
int do_settime(struct proc * caller, message * m_ptr)
{
clock_t newclock;
int32_t ticks;
time_t boottime, timediff, timediff_ticks;
/* only realtime can change */
if (m_ptr->m_lsys_krn_sys_settime.clock_id != CLOCK_REALTIME)
return EINVAL;
/* user just wants to adjtime() */
if (m_ptr->m_lsys_krn_sys_settime.now == 0) {
/* convert delta value from seconds and nseconds to ticks */
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 */
boottime = get_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->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. */
set_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->m_lsys_krn_sys_settime.nsec/(1000000000/system_hz));
set_realtime(newclock);
return(OK);
}
|
