tsc.h

Go to the documentation of this file.

#ifndef NDNDPDK_DPDK_TSC_H
#define NDNDPDK_DPDK_TSC_H
 
#include "../core/common.h"
 
typedef uint64_t TscTime;
 
typedef int64_t TscDuration;
 
#ifndef __BPF__
 
extern uint64_t TscHz;
 
extern double TscGHz;
 
extern double TscSeconds;
 
extern double TscNanos;
 
extern double TscTimeRefUnixNano_;
extern double TscTimeRefTsc_;
 
static __rte_always_inline TscTime
TscTime_FromUnixNano(uint64_t n) {
  double unixNanoSinceRef = n - TscTimeRefUnixNano_;
  double tscSinceRef = unixNanoSinceRef * TscGHz;
  return TscTimeRefTsc_ + tscSinceRef;
}
 
static __rte_always_inline uint64_t
TscTime_ToUnixNano(TscTime t) {
  double tscSinceRef = t - TscTimeRefTsc_;
  double unixNanoSinceRef = tscSinceRef * TscNanos;
  return TscTimeRefUnixNano_ + unixNanoSinceRef;
}
 
static __rte_always_inline TscDuration
TscDuration_FromMillis(int64_t millis) {
  return millis * TscHz / 1000;
}
 
static __rte_always_inline int64_t
TscDuration_ToMillis(TscDuration d) {
  return d * 1000 / TscHz;
}
 
#endif // __BPF__
 
#endif // NDNDPDK_DPDK_TSC_H