Re: [PATCH v2 03/12] x86/cpufeatures: Add TDX Guest CPU feature

[Borislav Petkov]

On Sat, Jun 12, 2021 at 02:02:19PM -0700, Kuppuswamy Sathyanarayanan wrote:
> +void __init tdx_early_init(void)
> +{
> +	if (!cpuid_has_tdx_guest())
> +		return;
> +
> +	setup_force_cpu_cap(X86_FEATURE_TDX_GUEST);
> +
> +	pr_info("Guest is initialized\n");

As I had typed, without the "is":

	pr_info("Guest initialized\n");

We're trying to keep dmesg style from becoming prose. :)

Rest looks ok.

Thx.

-- 
Regards/Gruss,
    Boris.

https://people.kernel.org/tglx/notes-about-netiquette