added CPUID code from rbench and get_cpl to be used by the

[dosdemo] / src / util.c

#include "util.h"

uint32_t perf_start_count, perf_interval_count;