/* Configuration for GCC for Intel i386 running OSF/1 1.3. */ #ifndef HZ #include <machine/machtime.h> #define HZ DEFAULT_CLK_TCK #endif