> 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
