Extending time_t to 64bits.

Change-Id: Ia96b8bfba19cb8179a0237a7d2122d415c24d73f
This commit is contained in:
2013-09-20 19:47:18 +02:00
parent 42e13282d7
commit 55d9e9954b
19 changed files with 62 additions and 60 deletions

View File

@@ -4,7 +4,7 @@
* The parameters for this kernel call are:
* m4_l2: T_SETTIME_NOW
* m4_l3: T_CLOCK_ID
* m4_l4: T_TIME_SEC
* m4_ll1: T_TIME_SEC
* m4_l5: T_TIME_NSEC
*/
@@ -19,8 +19,7 @@ int do_settime(struct proc * caller, message * m_ptr)
{
clock_t newclock;
int32_t ticks;
time_t timediff;
signed long long timediff_ticks;
time_t timediff, timediff_ticks;
if (m_ptr->T_CLOCK_ID != CLOCK_REALTIME) /* only realtime can change */
return EINVAL;
@@ -34,7 +33,7 @@ int do_settime(struct proc * caller, message * m_ptr)
} /* else user wants to set the time */
timediff = m_ptr->T_TIME_SEC - boottime;
timediff_ticks = (signed long long) timediff * system_hz;
timediff_ticks = timediff * system_hz;
/* prevent a negative value for realtime */
if (m_ptr->T_TIME_SEC <= boottime ||

View File

@@ -2,7 +2,7 @@
* m_type: SYS_STIME
*
* The parameters for this kernel call are:
* m4_l3: T_BOOTTIME
* m4_ll1: T_BOOTTIME
*/
#include "kernel/system.h"

View File

@@ -5,7 +5,7 @@
* m4_l1: T_ENDPT (get info for this process)
* m4_l1: T_USER_TIME (return values ...)
* m4_l2: T_SYSTEM_TIME
* m4_l3: T_BOOTTIME
* m4_ll1: T_BOOTTIME
* m4_l5: T_BOOT_TICKS
*/
@@ -37,7 +37,7 @@ int do_times(struct proc * caller, message * m_ptr)
}
m_ptr->T_BOOT_TICKS = get_monotonic();
m_ptr->T_REAL_TICKS = get_realtime();
m_ptr->T_BOOTTIME = boottime;
m_ptr->T_BOOTTIME = boottime;
return(OK);
}