pub type Tick = u64;
Zephyr can be configured for either 64-bit or 32-bit time values. Use the appropriate type internally to match. This should end up the same size as k_ticks_t, but unsigned instead of signed.
k_ticks_t