mips_get_machine_name
extern char *mips_get_machine_name(void);
if (mips_get_machine_name())
mips_get_machine_name());
pr_info("MIPS: machine is %s\n", mips_get_machine_name());