tdx_sys_info
const struct tdx_sys_info *tdx_get_sysinfo(void);
static inline bool tdx_supports_runtime_update(const struct tdx_sys_info *sysinfo)
static inline const struct tdx_sys_info *tdx_get_sysinfo(void) { return NULL; }
static const struct tdx_sys_info *tdx_sysinfo;
const struct tdx_sys_info *tdx_get_sysinfo(void)
return (const struct tdx_sys_info *)&tdx_sysinfo;
static __init int check_features(struct tdx_sys_info *sysinfo)
static struct tdx_sys_info tdx_sysinfo;
static __init int get_tdx_sys_info(struct tdx_sys_info *sysinfo)
const struct tdx_sys_info *sysinfo = tdx_get_sysinfo();
const struct tdx_sys_info *tdx_sysinfo = tdx_get_sysinfo();