78,85c78,80
< /**
< * As defined in:
< * "ARM Generic Interrupt Controller Architecture" version 2.0
< * "CoreLink GIC-400 Generic Interrupt Controller" revision r0p1
< */
< static constexpr uint32_t GICD_400_PIDR_VALUE = 0x002bb490;
< static constexpr uint32_t GICD_400_IIDR_VALUE = 0x200143B;
< static constexpr uint32_t GICC_400_IIDR_VALUE = 0x202143B;
---
> const uint32_t gicdPIDR;
> const uint32_t gicdIIDR;
> const uint32_t giccIIDR;