Device Clock now in time units of 1/DEVCLK_TIMEVALS_PERSECOND, and can potentially cope with device frequency changes.