B.2.23. P ≥ M and P ≠ 31: value read in PMSELR_EL0.SEL

The processor implements:

Copyright © 2013, 2014 ARM. All rights reserved.ARM DDI 0488D
Non-ConfidentialID012914