Hi! > From: Samuel Holland <samuel@xxxxxxxxxxxx> > > [ Upstream commit 0f5209fee90b4544c58b4278d944425292789967 ] > > The generic IPI code depends on the IRQ affinity mask being allocated > and initialized. This will not be the case if SMP is disabled. Fix up > the remaining driver that selected GENERIC_IRQ_IPI in a non-SMP config. Are you sure this is right thing to do on 4.19 kernel? In particular, should we have "Only register IPI domain when SMP is enabled" in the tree before this can be applied? Best regards, Pavel -- DENX Software Engineering GmbH, Managing Director: Wolfgang Denk HRB 165235 Munich, Office: Kirchenstr.5, D-82194 Groebenzell, Germany
Attachment:
signature.asc
Description: PGP signature
