pdc_pat_pd_get_platform_counter
extern int pdc_pat_pd_get_platform_counter(uint64_t **addr,
ret = pdc_pat_pd_get_platform_counter(&pclock, &freq, &unique);