/* Converts the specified number of core clock ticks to timespan ticks (nanosecods) */
int64_t timespanSystemClockToTicks(int32_t clockTicks)
/* Converts the specified number of core clock ticks to timespan ticks (nanosecods) */
int64_t timespanSystemClockToTicks(int32_t clockTicks)
{
  uint32_t nsPerTick;
  nsPerTick = 1000000 / (SystemCoreClock / 1000000);
  return ((int64_t)clockTicks * (int64_t)nsPerTick) / 1000LL;
}