25 	char cpu_info[65];  in init_transmeta()  local
60 		      (void *)&cpu_info[0],  in init_transmeta()
61 		      (void *)&cpu_info[4],  in init_transmeta()
62 		      (void *)&cpu_info[8],  in init_transmeta()
63 		      (void *)&cpu_info[12]);  in init_transmeta()
65 		      (void *)&cpu_info[16],  in init_transmeta()
66 		      (void *)&cpu_info[20],  in init_transmeta()
67 		      (void *)&cpu_info[24],  in init_transmeta()
68 		      (void *)&cpu_info[28]);  in init_transmeta()
70 		      (void *)&cpu_info[32],  in init_transmeta()
71 		      (void *)&cpu_info[36],  in init_transmeta()
72 		      (void *)&cpu_info[40],  in init_transmeta()
73 		      (void *)&cpu_info[44]);  in init_transmeta()
75 		      (void *)&cpu_info[48],  in init_transmeta()
76 		      (void *)&cpu_info[52],  in init_transmeta()
77 		      (void *)&cpu_info[56],  in init_transmeta()
78 		      (void *)&cpu_info[60]);  in init_transmeta()
79 		cpu_info[64] = '\0';  in init_transmeta()
80 		printk(KERN_INFO "CPU: %s\n", cpu_info);  in init_transmeta()