Searched refs:pdc_model_platform_info (Results 1 – 3 of 3) sorted by relevance
44 int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num, char *serial_no);
293 if (pdc_model_platform_info(orig_prod_num, current_prod_num, serial_no) == PDC_OK) { in collect_boot_cpu_data()
631 int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num, in pdc_model_platform_info() function