orig_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);
orig_prod_num     588 arch/parisc/kernel/firmware.c int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num,
orig_prod_num     596 arch/parisc/kernel/firmware.c 		__pa(orig_prod_num), __pa(current_prod_num), __pa(serial_no));
orig_prod_num     231 arch/parisc/kernel/processor.c 	char orig_prod_num[64], current_prod_num[64], serial_no[64];
orig_prod_num     292 arch/parisc/kernel/processor.c 	if (pdc_model_platform_info(orig_prod_num, current_prod_num, serial_no) == PDC_OK) {
orig_prod_num     295 arch/parisc/kernel/processor.c 			orig_prod_num, serial_no);
orig_prod_num     296 arch/parisc/kernel/processor.c 		add_device_randomness(orig_prod_num, strlen(orig_prod_num));