On Mon, Jul 10, 2023 at 11:55:49PM +0200, Ard Biesheuvel wrote: > I already did, actually, but I dropped it from this series because it > was getting too long, and not essential for the overall goal of the > changes. Yeah, might wanna add it, though, for the simple reason that compressed/head_64.S and kernel/head_64.S will otherwise differ in the %rsi handling unnecessarily and people might wonder why. Thx. -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette