Thank you! Indeed, it was MPIDR_EL1. At first I tried setting bit 30 for my solo-vCPU program, but turns out that simply writing 0 to the register "activated" the redistributor. Now I wonder how many other registers I have to write something to and not expect a valid default. I will be more vigilant. Thanks again!
folke-b
Users receive reputation points by contributing quality content to the forums.
Posts include post and replies published on the forums.
Post authors can mark replies as Accepted to indicate successful solutions.
Apple Developer Forums admins can mark replies as Apple Recommended to indicate an approved solution