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