Kernel booting stuck at "CPU1: Booted secondary processor"

[AYAN KUMAR HALDER]

Hi,

I am porting kernel (3.14.22) on a custom ARM(Cortex A9 x 3) based platform.
I was able to get it working on uniprocessor mode.
Now I wish to get the SMP mode working as mine is Cortex A9 x3 platform.
However, I see that the booting gets stuck after the following log:-

CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
Setting up static identity map for 0x1f9690 - 0x1f96c4
CPU1: Booted secondary processor

When I debugged it further, I found that it waits endlessly in a
arch_spin_lock() :-

while (lockval.tickets.next != lockval.tickets.owner) { // loops here
        wfe();
        lockval.tickets.owner = ACCESS_ONCE(lock->tickets.owner);
    }

It would be great if someone can give me pointers about how to proceed ahead.

Regards,
Ayan kumar Halder