path: root/runtime/autoconf-tsc-khz.c

#include <asm/tsc.h>

unsigned int tsc = tsc_khz;