X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=tcl%2Ftarget%2Fimx.cfg;h=9eea53eef2194305a03540b177136beba5c4f76f;hb=af9918deecebb9d86972a663f8878beaea4cb922;hp=bfcc65255e7f749c1b1ac2294d8da96e925375be;hpb=c202ba7d34bd7feba88d7c0ee1aa9ef7be18bca9;p=openocd.git

diff --git a/tcl/target/imx.cfg b/tcl/target/imx.cfg
index bfcc65255e..9eea53eef2 100644
--- a/tcl/target/imx.cfg
+++ b/tcl/target/imx.cfg
@@ -1,6 +1,6 @@
 # utility fn's for Freescale i.MX series
 
-global TARGETNAME 
+global TARGETNAME
 set TARGETNAME $_TARGETNAME
 
 # rewrite commands of the form below to arm11 mcr...
@@ -8,9 +8,9 @@ set TARGETNAME $_TARGETNAME
 proc setc15 {regs value} {
 	global TARGETNAME 
 
-	echo [format "set p15 0x%04x, 0x%08x" $regs $value] 
+	echo [format "set p15 0x%04x, 0x%08x" $regs $value]
 
-	mcr 15 [expr ($regs>>12)&0x7] [expr ($regs>>0)&0xf] [expr ($regs>>4)&0xf] [expr ($regs>>8)&0x7] $value 
+	arm mcr 15 [expr ($regs>>12)&0x7] [expr ($regs>>0)&0xf] [expr ($regs>>4)&0xf] [expr ($regs>>8)&0x7] $value
 }
 
 
@@ -18,12 +18,12 @@ proc imx3x_reset {} {
 	# this reset script comes from the Freescale PDK
 	#
 	# http://www.freescale.com/webapp/sps/site/prod_summary.jsp?code=IMX35PDK
-	
+
 	echo "Target Setup: initialize DRAM controller and peripherals"
-	
+
 #	Data.Set c15:0x01 %long 0x00050078
 	setc15 0x01 0x00050078
-	
+
 	echo "configuring CP15 for enabling the peripheral bus"
 #	Data.Set c15:0x042f %long 0x40000015
 	setc15 0x042f 0x40000015