Hi,
On 31/01/2024 07:57, Bertrand Marquis wrote:
On 30 Jan 2024, at 18:29, Julien Grall wrote:
From: Julien Grall
Recent rework to the secondary boot code modified how init_ttbr and
smp_up_cpu are accessed. Rather than directly accessing them, we
are using a pointer to them.
The helper
Hi Julien,
Nice finding :-)
> On 30 Jan 2024, at 18:29, Julien Grall wrote:
>
> From: Julien Grall
>
> Recent rework to the secondary boot code modified how init_ttbr and
> smp_up_cpu are accessed. Rather than directly accessing them, we
> are using a pointer to them.
>
> The helper
On 30.01.24 19:29, Julien Grall wrote:
Hello Julien
> From: Julien Grall
>
> Recent rework to the secondary boot code modified how init_ttbr and
> smp_up_cpu are accessed. Rather than directly accessing them, we
> are using a pointer to them.
>
> The helper clean_dcache() is expected to
From: Julien Grall
Recent rework to the secondary boot code modified how init_ttbr and
smp_up_cpu are accessed. Rather than directly accessing them, we
are using a pointer to them.
The helper clean_dcache() is expected to take the variable in parameter
and then clean its content. As we now pass
