On Fri, Dec 01, 2023 at 03:24:52PM -0800, Alexey Makhalov wrote: > +#ifdef CONFIG_INTEL_TDX_GUEST > +/* __tdx_hypercall() is not exported. So, export the wrapper */ > +void vmware_tdx_hypercall_args(struct tdx_module_args *args) > +{ > + __tdx_hypercall(args); > +} > +EXPORT_SYMBOL_GPL(vmware_tdx_hypercall_args); Uuuh, lovely. I'd like to see what the TDX folks think about this export first. -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette