Time units

Userspace exposed time units

zx_time_t is in nanoseconds.

Use zx_clock_get() to get the current time.

Kernel-internal time units

lk_time_t is in nanoseconds.

To get the current time since boot, use:

#include <platform.h>

lk_time_t current_time(void);