3 /*===========================================================================*
5 *===========================================================================*/
6 int getuptime2(ticks
, boottime
)
7 clock_t *ticks
; /* uptime in ticks */
13 m
.m_type
= SYS_TIMES
; /* request time information */
14 m
.T_ENDPT
= NONE
; /* ignore process times */
15 s
= _kernel_call(SYS_TIMES
, &m
);
16 *ticks
= m
.T_BOOT_TICKS
;
17 *boottime
= m
.T_BOOTTIME
;