Symbol: cmd_batch
sys/arch/ews4800mips/stand/common/cmd.c
42
{ "batch", cmd_batch },
sys/arch/ews4800mips/stand/common/cmd.h
51
int cmd_batch(int, char **, int);