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