diff --git a/doc/openocd.texi b/doc/openocd.texi
index 4f228325c122c33a35cf1f7ec0bb8dccf1e45a55..de73bec71283630afccba088f960b47eb512be24 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -5448,11 +5448,6 @@ Writes the specified @var{word} (32 bits),
 at the specified physical address @var{addr}.
 @end deffn
 
-@deffn Command {arm720t virt2phys} va
-Translate a virtual address @var{va} to a physical address
-and display the result.
-@end deffn
-
 @subsection ARM9 specific commands
 @cindex ARM9
 
@@ -5538,11 +5533,6 @@ Dump the content of ICache and DCache to a file named @file{filename}.
 Dump the content of the ITLB and DTLB to a file named @file{filename}.
 @end deffn
 
-@deffn Command {arm920t virt2phys} va
-Translate a virtual address @var{va} to a physical address
-and display the result.
-@end deffn
-
 @subsection ARM926ej-s specific commands
 @cindex ARM926ej-s
 
@@ -5583,11 +5573,6 @@ Writes the specified @var{word} (32 bits),
 at the specified physical address @var{addr}.
 @end deffn
 
-@deffn Command {arm926ejs virt2phys} va
-Translate a virtual address @var{va} to a physical address
-and display the result.
-@end deffn
-
 @subsection ARM966E specific commands
 @cindex ARM966E