With other ports. Other ports declare it in mphalport.h, it can be inline or macro.
This provides time and sleep together with the usual ticks_us/_ms/_diff and sleep_us/ms family. We also provide access to Zephyr's high precision timer as ticks_cpu(). Signed-off-by: Daniel Thompson <daniel.thompson@linaro.org>