[PATCH 4/7] KVM: arm64: guest debug, add SW break point support

[Peter Maydell]

On 26 November 2014 at 16:07, Andrew Jones <drjones at redhat.com> wrote:
> There appears to be a typo in the ARM ARM. Subsection "Software
> Breakpoint Instruction exception" of D1.10.4 says BRK (ESR_EL2_EC_BRK64)
> is 0x39, but the table above that has it correctly as 0x3c.

Thanks for pointing out this typo -- I've reported it to the
appropriate documentation people.

-- PMM