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

#include <asm/tsc.h>

unsigned int *ptsc = &tsc_khz;