[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <7bd30975-fdcc-7d87-af4a-448b92bb6e02@linux.intel.com>
Date: Tue, 2 Aug 2022 10:01:10 +0800
From: "Wu, Binbin" <binbin.wu@...ux.intel.com>
To: Kai Huang <kai.huang@...el.com>, linux-kernel@...r.kernel.org,
kvm@...r.kernel.org
Cc: seanjc@...gle.com, pbonzini@...hat.com, dave.hansen@...el.com,
len.brown@...el.com, tony.luck@...el.com,
rafael.j.wysocki@...el.com, reinette.chatre@...el.com,
dan.j.williams@...el.com, peterz@...radead.org, ak@...ux.intel.com,
kirill.shutemov@...ux.intel.com,
sathyanarayanan.kuppuswamy@...ux.intel.com,
isaku.yamahata@...el.com
Subject: Re: [PATCH v5 1/22] x86/virt/tdx: Detect TDX during kernel boot
On 2022/6/22 19:15, Kai Huang wrote:
> + /*
> + * TDX guarantees at least two TDX KeyIDs are configured by
> + * BIOS, otherwise SEAMRR is disabled. Invalid TDX private
> + * range means kernel bug (TDX is broken).
> + */
> + if (WARN_ON(!tdx_keyid_start || tdx_keyid_num < 2)) {
Do you think it's better to define a meaningful macro instead of the
number here and below?
> + tdx_keyid_start = tdx_keyid_num = 0;
> + return -EINVAL;
> + }
> +
> + return 0;
> +}
> +
> +
> +/**
> + * platform_tdx_enabled() - Return whether BIOS has enabled TDX
> + *
> + * Return whether BIOS has enabled TDX regardless whether the TDX module
> + * has been loaded or not.
> + */
> +bool platform_tdx_enabled(void)
> +{
> + return tdx_keyid_num >= 2;
> +}
>
>
Powered by blists - more mailing lists