armstub8: Initialize CPTR_EL3 with zeros

raspberrypi / tools

1.89k stars 865 forks source link

armstub8: Initialize CPTR_EL3 with zeros #123

Closed rhythm16 closed 3 years ago

rhythm16 commented 3 years ago

In both Cortex A53 and A72, every bit of CPTR_EL3 is RES0 except bit 10 and bit 31. We need bit 10 to be 0, also bit 31 is 0 previously. So zero the entire register in initialization. Issue raspberrypi#95 pointed this out as well.

popcornmix commented 3 years ago

This looks correct to me. @pelwell happy?