Home
last modified time | relevance | path

Searched refs:serial_no (Results 1 – 5 of 5) sorted by relevance

/arch/parisc/kernel/
Dprocessor.c231 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()
Dfirmware.c589 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/
Dpdc.h47 int pdc_model_platform_info(char *orig_prod_num, char *current_prod_num, char *serial_no);
/arch/alpha/include/asm/
Dhwrpb.h100 unsigned long serial_no[2]; member
/arch/alpha/kernel/
Dsetup.c1188 (char*)cpu->serial_no, in show_cpuinfo()