HelenOS sources

uptime_t           49 kernel/generic/include/time/clock.h extern uptime_t *uptime;
uptime_t           64 kernel/generic/src/time/clock.c uptime_t *uptime;
uptime_t           82 kernel/generic/src/time/clock.c 	uptime = (uptime_t *) PA2KA(faddr);