#include unsigned int *ptsc = &tsc_khz;