command_load
static void command_load(char *opt);
{ "l", command_load },
int command_load(int argc, char *argv[]);
{ "load", "load a kernel", command_load }, \
void command_load(char *);
{ "load", command_load, "load <module_name>" },