ARM11 CP15 command "mcr" documentation problem

Development Boards MicroMod
1

I tried to follow some recommendations on openOCD mailing lists on how set the ARM11 specific CP15 register on my IMX31 target.

I tried using the the following command:

arm11 mcr 1 15 0 0 1 0 0x0000076

(the values are random numbers, beside the first two (1 15)

Problem: openOCD 0.5 reports an error of “to few arguments”.

Problem 2: documentation does not document this API call

Problem 3: what is the difference between “arm mcr” and “arm11 mcr” API calls?

I searched quite a bit and did not find a single hint, yet.

Thanks for any help!

2

I found one indicator on how this should work: The actual scripts provided with openOCD 0.5 provide a conversion function that translates a given “standard” CP15 command (as known from other debuggers) into an openOCD compatible format:

/target/imx.cfg

See function setc15 translates the specific “control” settings. But attention: it is not a generic function for use with the CP15 register! See the ARM spec for details of the register values!