extern uint64_t tsc_frequency missing

[Michal Belczyk <belczyk@xxxxxxxxxxxxx>]

I believe it belongs to i386/include/clock.h, doesn't it?

-- 
Michal Belczyk

Index: i386/include/clock.h
===================================================================
RCS file: /home/dcvs/src/sys/i386/include/clock.h,v
retrieving revision 1.6
diff -u -r1.6 clock.h
--- i386/include/clock.h	12 Jun 2005 20:55:14 -0000	1.6
+++ i386/include/clock.h	19 Dec 2005 19:02:39 -0000
@@ -21,6 +21,7 @@
 extern u_int	timer_freq;
 extern int	timer0_max_count;
 extern u_int	tsc_freq;
+extern int64_t	tsc_frequency;
 extern int	tsc_is_broken;
 extern int	wall_cmos_clock;
 #ifdef APIC_IO