On Fri, Jan 15, 2021 at 11:10:45PM +0000, Andrew Cooper wrote: > A subsequent change is going to introduce SKINIT support, wherein the APs will > be already be in the wait-for-SIPI state, and an INIT must not be sent. > > Introduce a send_INIT boolean, so we can control sending an INIT IPI > separately from sending SIPIs. > > No functional change. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
I'm not opposed to introduce this, but maybe it would be better to move it to a separate helper? send_init(unsigned int apicid); or some such? Would reduce one level of indentation. Thanks, Roger.