et6000dump
add_debugger_command("et6000dump", et6000dump, "dump ET6000 kernel driver persistant data");
remove_debugger_command("et6000dump", et6000dump);
static int et6000dump(int argc, char **argv);