pdc_model_platform_info   47 arch/parisc/include/asm/pdc.h int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num, char *serial_no);
pdc_model_platform_info  292 arch/parisc/kernel/processor.c 	if (pdc_model_platform_info(orig_prod_num, current_prod_num, serial_no) == PDC_OK) {