tsc_cpu
struct tsc_cpu *tsc_pc;
tsc_pc = malloc(sizeof(struct tsc_cpu), M_PMC, M_WAITOK|M_ZERO);
tsc_pcpu = malloc(sizeof(struct tsc_cpu *) * maxcpu, M_PMC,
static struct tsc_cpu **tsc_pcpu;