question about arm64 __primary_switched code