Christoffer Dall [off-list ref] writes:

On Tue, Oct 9, 2012 at 2:11 PM, Peter Maydell [off-list ref] wrote:

quoted

On 1 October 2012 10:11, Christoffer Dall [off-list ref] wrote:

quoted

From: Rusty Russell <redacted>

...

quoted

quoted

+ARM 32-bit VFP control registers have the following id bit patterns:
+  0x4002 0000 0012 1 <selector:3>
+
+ARM 64-bit FP registers have the following id bit patterns:
+  0x4002 0000 0012 0 <selector:3>
+

In the other entries in this section, <foo:3> indicates a 3 bit field.
But I think for these two it's trying to indicate a 3 byte field.

...

right you are, I'll modify this.

Thanks!
Rusty.