command_consdev
void command_consdev(char *);
{ "consdev", command_consdev },
command_consdev(bootcfg_info.consdev);
{ "consdev", command_consdev },
command_consdev(bootcfg_info.consdev);
void command_consdev(char *);
command_consdev(bootcfg_info.consdev);
void command_consdev(char *);
{ "consdev", command_consdev },