msr_counter_info_t
struct msr_counter_info_t *msr_counter_info;
size_t msr_counter_info_count_perf(const struct msr_counter_info_t *mci)
struct msr_counter_info_t *mci;
int add_msr_perf_counter(int cpu, struct msr_counter_info_t *cci, const struct msr_counter_arch_info *cai)
struct msr_counter_info_t *const cci = &msr_counter_info[cpu];