Searched refs:serial_no (Results 1 – 5 of 5) sorted by relevance
/arch/parisc/kernel/ |
D | processor.c | 231 char orig_prod_num[64], current_prod_num[64], serial_no[64]; in collect_boot_cpu_data() local 292 if (pdc_model_platform_info(orig_prod_num, current_prod_num, serial_no) == PDC_OK) { in collect_boot_cpu_data() 295 orig_prod_num, serial_no); in collect_boot_cpu_data() 298 add_device_randomness(serial_no, strlen(serial_no)); in collect_boot_cpu_data()
|
D | firmware.c | 589 char *serial_no) in pdc_model_platform_info() argument 596 __pa(orig_prod_num), __pa(current_prod_num), __pa(serial_no)); in pdc_model_platform_info()
|
/arch/parisc/include/asm/ |
D | pdc.h | 47 int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num, char *serial_no);
|
/arch/alpha/include/asm/ |
D | hwrpb.h | 100 unsigned long serial_no[2]; member
|
/arch/alpha/kernel/ |
D | setup.c | 1188 (char*)cpu->serial_no, in show_cpuinfo()
|