Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/virt/vmx/tdx/tdx.c init_tdx_module() -> alloc_tdmr_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 1 | sysinfo_tdmr | 1638645966934052880 |
| PARAM_VALUE | 1 | sysinfo_tdmr->max_reserved_per_tdmr | 0 |
| PARAM_VALUE | 1 | sysinfo_tdmr->max_tdmrs | 0 |