cmd_jump
{ cmd_jump, 2, { "0x80001000", "0x80001000", 0, 0, 0, 0, 0 } },
{ "jump", cmd_jump },
int cmd_jump(int, char **, int);