current_prod_num   47 arch/parisc/include/asm/pdc.h int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num, char *serial_no);
current_prod_num  588 arch/parisc/kernel/firmware.c int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num,
current_prod_num  596 arch/parisc/kernel/firmware.c 		__pa(orig_prod_num), __pa(current_prod_num), __pa(serial_no));
current_prod_num  231 arch/parisc/kernel/processor.c 	char orig_prod_num[64], current_prod_num[64], serial_no[64];
current_prod_num  292 arch/parisc/kernel/processor.c 	if (pdc_model_platform_info(orig_prod_num, current_prod_num, serial_no) == PDC_OK) {
current_prod_num  294 arch/parisc/kernel/processor.c 			current_prod_num[0] ? current_prod_num : "n/a",
current_prod_num  297 arch/parisc/kernel/processor.c 		add_device_randomness(current_prod_num, strlen(current_prod_num));