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,10 +228,11 @@
 #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
 }