2c2
< * Copyright (c) 2011-2014 ARM Limited
---
> * Copyright (c) 2011-2014, 2017 ARM Limited
151c151
< Bitfield<9, 0> evtCount;
---
> Bitfield<15, 0> evtCount;
462c462
< * This register contains a bitmask of available architected
---
> * These registers contain a bitmask of available architected
465c465,466
< uint64_t reg_pmceid;
---
> uint64_t reg_pmceid0;
> uint64_t reg_pmceid1;