Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/virt/vmx/tdx/tdx.c config_tdx_module() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 45 |
| PARAM_VALUE | 3 | args | 3140278011576700928 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 1 |
| PARAM_VALUE | 3 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c do_global_key_config() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 31 |
| PARAM_VALUE | 3 | args | 3606467188424175616 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rcx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 0 |
| PARAM_VALUE | 3 | args->rsi | 0 |
| HALF_LOCKED2 | &pool->lock |
arch/x86/virt/vmx/tdx/tdx.c init_tdmr() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 2 | fn | 36 |
| PARAM_VALUE | 3 | args | 2679935637000413184 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 0 |
| PARAM_VALUE | 3 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c read_sys_metadata_field() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 34 |
| PARAM_VALUE | 3 | args | 7385801626455605248 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rcx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 576460756598390787-576460756598390789,720575953264181256,1801439863833100288-1801439863833100291,9871890387491094528,10448351139794518024-10448351139794518025,10448351139794518032-10448351139794518034,10952754298060013568-u64max |
| PARAM_VALUE | 3 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/virt/vmx/tdx/tdx.c tdx_cpu_enable() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 35 |
| PARAM_VALUE | 3 | args | 949098151896829952 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rcx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 0 |
| PARAM_VALUE | 3 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/virt/vmx/tdx/tdx.c tdx_module_run_update() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 53 |
| PARAM_VALUE | 3 | args | 8402989712382775296 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rcx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 0 |
| PARAM_VALUE | 3 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/virt/vmx/tdx/tdx.c tdx_module_shutdown() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 52 |
| PARAM_VALUE | 3 | args | 4197408833093038080 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rcx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 0 |
| PARAM_VALUE | 3 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/virt/vmx/tdx/tdx.c try_init_module_global() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 33 |
| PARAM_VALUE | 3 | args | 4825817680028098560 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rcx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 0 |
| PARAM_VALUE | 3 | args->rsi | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &sysinit_lock |
arch/x86/virt/vmx/tdx/seamldr.c seamldr_call() -> sc_retry_prerr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | fn | 9223372036854775808-9223372036854775809 |
| PARAM_VALUE | 3 | args | 597980012600123392,1317122672522371072 |
| PARAM_VALUE | 3 | args->r10 | 0 |
| PARAM_VALUE | 3 | args->r11 | 0 |
| PARAM_VALUE | 3 | args->r12 | 0 |
| PARAM_VALUE | 3 | args->r13 | 0 |
| PARAM_VALUE | 3 | args->r14 | 0 |
| PARAM_VALUE | 3 | args->r15 | 0 |
| PARAM_VALUE | 3 | args->r8 | 0 |
| PARAM_VALUE | 3 | args->r9 | 0 |
| PARAM_VALUE | 3 | args->rbx | 0 |
| PARAM_VALUE | 3 | args->rdi | 0 |
| PARAM_VALUE | 3 | args->rdx | 0 |
| PARAM_VALUE | 3 | args->rsi | 0 |
| DATA_SOURCE | 2 | fn | $0 |
| DATA_SOURCE | 3 | args | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &seamldr_lock | ||
| HALF_LOCKED2 | &of->mutex |