time --- System time time Source code: src/kernel/time.h, src/kernel/time.c Test code: tst/kernel/time/main.c Test coverage: src/kernel/time.c kernel/time.h