Messages in this thread | | | Date | Tue, 2 Aug 2022 10:01:10 +0800 | Subject | Re: [PATCH v5 1/22] x86/virt/tdx: Detect TDX during kernel boot | From | "Wu, Binbin" <> |
| |
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; > +} > >
| |