The array_base registers as part of CP state do not seem to incorporate the upper bits in the physical address they try to access.
The array_base registers as part of CP state do not seem to incorporate the upper bits in the physical address they try to access.