3c3
< // Copyright (c) 2010-2012 ARM Limited
---
> // Copyright (c) 2010-2013 ARM Limited
76c76,80
< 0x7: Breakpoint::bkpt();
---
> 0x6: ArmERet::armERet();
> 0x7: decode OPCODE_22 {
> 0: Breakpoint::bkpt();
> 1: ArmSmcHyp::armSmcHyp();
> }
107a112,115
> 0xf: decode OPCODE_20 {
> 0: Mcrr15::Mcrr15();
> 1: Mrrc15::Mrrc15();
> }