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