Re: [RFC PATCH v2 5/6] x86/entry/pti: avoid setting CR3 when it's already correct

[Ingo Molnar]

* Willy Tarreau <w@xxxxxx> wrote:

> +	/* if we're already on the kernel PGD, we don't switch */
> +	 * If we're already on the kernel PGD, we don't switch,
> +	 * If we saved a kernel context on entry, we didn't switch the CR3,

It's hard enough to read assembly code, please use consistent capitalization:

s/if
 /If

Thanks,

	Ingo