--- a/rvinterf/tmsh/usercmd.c	Sat Nov 26 01:05:17 2016 +0000
+++ b/rvinterf/tmsh/usercmd.c	Mon Jan 16 18:44:24 2017 +0000
@@ -24,7 +24,10 @@
 extern int cmd_r16();
 extern int cmd_r32();
 extern int cmd_tgtreset();
+extern int cmd_tm3ver();
+extern int cmd_tminit();
 extern int cmd_tmpkt();
+extern int cmd_tms();
 extern int cmd_version();
 extern int cmd_w8();
 extern int cmd_w16();
@@ -57,7 +60,10 @@
 	{"r16", 1, 2, cmd_r16},
 	{"r32", 1, 2, cmd_r32},
 	{"tgtreset", 0, 0, cmd_tgtreset},
+	{"tm3ver", 1, 1, cmd_tm3ver},
+	{"tminit", 0, 0, cmd_tminit},
 	{"tmpkt", 1, 253, cmd_tmpkt},
+	{"tms", 1, 1, cmd_tms},
 	{"version", 1, 1, cmd_version},
 	{"w8", 2, 246, cmd_w8},
 	{"w16", 2, 123, cmd_w16},