Re: [PATCH v3 gnumach] smp: Rearrange IPI sending mechanism

[Damien Zammit]

Hi Almu,

On 2/24/24 12:24 AM, Almudena Garcia wrote:

> I set the code as this way because it's the standard of Intel's guides.
>
> The guide explain that although most machines turn on the cpu with an unique 
> SIPI, some machines could require a second SIPI. Even some older machines 
> could need a INIT IPI before the SIPI.
>
> It's the reason because i wrote the code aa this way, following the advice on 
> of Intel's guides.

This is not the code for INIT IPI or STARTUP IPI.

This is just for raising a fixed, no-shorthand, physical IPI to wake up a 
different cpu.
Please read what I changed in detail.

If you have reason to believe de-asserting a fixed IPI is a good idea,
then we can keep the existing code.

Thanks,

Damien