--- timer_tsc.c.orig Sun Oct 13 00:43:36 2002 +++ timer_tsc.c Sun Oct 13 00:43:11 2002 @@ -7,6 +7,7 @@ #include #include #include +#include #include #include