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

The processor implements:
  • SEL[4:0], and if P ≥ M and P ≠ 31 then the register is RES0.
Non-ConfidentialPDF file icon PDF versionARM 100095_0002_03_en
Copyright © 2014, 2015 ARM. All rights reserved.