Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/virt/vmx/tdx/tdx.c init_tdx_module() -> construct_tdmrs()

Type Parameter Key Value
PARAM_VALUE 0 tmb_list 7560222106903224320
PARAM_VALUE 0 tmb_list->prev 1-u64max
PARAM_VALUE 1 tdmr_list 7071495339662589952
PARAM_VALUE 1 tdmr_list->max_tdmrs 0
PARAM_VALUE 1 tdmr_list->nr_consumed_tdmrs 0
PARAM_VALUE 1 tdmr_list->tdmr_sz 512
PARAM_VALUE 1 tdmr_list->tdmrs 18379471554275704832,18446612682070032384
PARAM_VALUE 2 sysinfo_tdmr 1638645966934052880
PARAM_VALUE 2 sysinfo_tdmr->max_reserved_per_tdmr 0
PARAM_VALUE 2 sysinfo_tdmr->pamt_1g_entry_size 0
PARAM_VALUE 2 sysinfo_tdmr->pamt_2m_entry_size 0
PARAM_VALUE 2 sysinfo_tdmr->pamt_4k_entry_size 0