Source position: lwp_watchdog.inc line 40
function diff_ticks(
tick0: cuint64;
tick1: cuint64
):cuint64;