On Thu, Jul 17, 2025 at 3:49 PM Alexei Starovoitov
[off-list ref] wrote:

__pa_symbol() should work for start_BTF, but would be good
to double check with Ard that the rest stays linear.

Alexei,

This code in the arm64 setup does make me think we'll be OK.

kernel_code.start   = __pa_symbol(_stext);
kernel_code.end     = __pa_symbol(__init_begin - 1);
kernel_data.start   = __pa_symbol(_sdata);
kernel_data.end     = __pa_symbol(_end - 1);

Using these as start and end only makes sense to me if the addresses
are linear? See
https://elixir.bootlin.com/linux/v6.15.6/source/arch/arm64/kernel/setup.c#L217

Let me know if you want me to double check with Ard regardless.

Best
Lorenz