unsigned int system_rev; EXPORT_SYMBOL(system_rev); /* (中略) */ static int c_show(struct seq_file *m, void *v) { /* (中略) */ seq_printf(m, "Hardware\t: %s\n", machine_name); seq_printf(m, "Revision\t: %04x\n", system_rev); seq_printf(m, "Serial\t\t: %08x%08x\n", system_serial_high, system_serial_low); return 0; }