> Can you please retrieve the value of SP in `smp_call_function_single'?
> Just something such as:
>
> printk("SP: %016lx\n", __builtin_frame_address(0));
>
I will check!
Also wondering if this may be relevant?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=16660
