Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/virt/vmx/tdx/tdx.c config_tdx_module() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c fill_out_tdmrs() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $1 |
| PARAM_COMPARE | 1 | idx | == $0->max_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c fill_out_tdmrs() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| DATA_SOURCE | 0 | tdmr_list | $1 |
arch/x86/virt/vmx/tdx/tdx.c init_tdmrs() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c is_pamt_page() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 1 | idx | 0 |
| BUF_SIZE | 0 | tdmr_list | 24 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/virt/vmx/tdx/tdx.c tdmr_populate_rsvd_pamts() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c tdmrs_count_pamt_kb() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c tdmrs_free_pamt_all() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c tdmrs_populate_rsvd_areas_all() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c tdmrs_quirk_reset_pamt_all() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |
arch/x86/virt/vmx/tdx/tdx.c tdmrs_set_up_pamt_all() -> tdmr_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tdmr_list | 7071495339662589952 |
| PARAM_VALUE | 0 | tdmr_list->tdmr_sz | 512 |
| PARAM_VALUE | 0 | tdmr_list->tdmrs | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | idx | 0 |
| DATA_SOURCE | 0 | tdmr_list | $0 |
| PARAM_COMPARE | 1 | idx | < $0->nr_consumed_tdmrs |