cpu id for big cpu 0x400

[Michael Grunditz]

On Tue, 17 Jan 2023 at 11:14, Michael Grunditz
<michael.grunditz at gmail.com> wrote:
>
> Hi
>
> I am testing starting from the big cpu on rk3588. The cpu id is 0x400.
> Starting is fine up to core entry. But there it stops.
> EL switching works.
>
> The question is , every other core is compared to NR_OF_CPUS, which is
> from 0 and up.
> What do I need to change?
>
> Michael
>
> ( will try now with core 1 , since obvisually core 0 isn't set up so
> that el switching works. I still thinks we should do core init so that
> we get a common state , regardless how u-boot leaves us. )

I am happy to say that el switching from e2 to el1 now works for
core 0! I am clearing all standard regs (including fp regs) and
hcr_el2,cptr_el2  in crt0.S

Very happy!!