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

On 26 November 2014 at 16:07, Andrew Jones [off-list ref] 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