4764 Need a way to get tsc deltas
Reviewed by: Keith M Wesolowski <wesolows@foobazco.org>
Reviewed by: Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
Reviewed by: Dan McDonald <danmcd@omniti.com>
Reviewed by: Garrett D'Amore <garrett@damore.org>
Approved by: Richard Lowe <richlowe@richlowe.net>

*** 228,237 ****
--- 228,238 ----
  #ifdef __xpv
  #include <sys/xen_mmu.h>
  extern page_t *page_get_high_mfn(mfn_t);
  #endif
  
+ extern hrtime_t tsc_gethrtime_tick_delta(void);
  
  #endif /* _KERNEL */
  
  #ifdef __cplusplus
  }