Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_page_aug() -> pg_level_to_tdx_sept_level()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 1 |
| DATA_SOURCE | 0 | level | $2 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_page_remove() -> pg_level_to_tdx_sept_level()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 1 |
| DATA_SOURCE | 0 | level | $2 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_range_block() -> pg_level_to_tdx_sept_level()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 1 |
| DATA_SOURCE | 0 | level | $2 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_sept_add() -> pg_level_to_tdx_sept_level()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 0,2-u32max |
| CAPPED_DATA | 0 | level | 1 |
| DATA_SOURCE | 0 | level | $2 |