Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/virt/vmx/tdx/tdx.c sc_retry_prerr() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 31,33-36,45,52-53 |
| PARAM_VALUE | 2 | args | 949098151896829952,2679935637000413184,3140278011576700928,3606467188424175616,4197408833093038080,4825817680028098560,7385801626455605248,8402989712382775296 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0-1,576460756598390787-576460756598390789,720575953264181256,1801439863833100288-1801439863833100291,9871890387491094528,10448351139794518024-10448351139794518025,10448351139794518032-10448351139794518034,10952754298060013568-u64max |
| PARAM_VALUE | 2 | args->rsi | 0 |
| DATA_SOURCE | 0 | func | $0 |
| DATA_SOURCE | 1 | fn | $2 |
| DATA_SOURCE | 2 | args | $3 |
| HARD_MAX | 1 | fn | 53 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &sysinit_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_page_add() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 2 |
| PARAM_VALUE | 2 | args | 6134737809338052608 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0,4096-4503599627366400 |
| PARAM_VALUE | 2 | args->r9 | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_page_aug() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 6 |
| PARAM_VALUE | 2 | args | 3418826738022739968 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0,4096-4503599627366400 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_page_remove() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 29 |
| PARAM_VALUE | 2 | args | 7219508512489136128 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_range_block() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 7 |
| PARAM_VALUE | 2 | args | 1308496749036466176 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_sept_add() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 3 |
| PARAM_VALUE | 2 | args | 7558490981710848000 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mem_track() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 38 |
| PARAM_VALUE | 2 | args | 6669590479417729024 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_mng_addcx() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 1 |
| PARAM_VALUE | 2 | args | 1038198139789766656 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mng_create() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 9 |
| PARAM_VALUE | 2 | args | 225446411398119424 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0-u16max |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| LOCK2 | global &tdx_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mng_init() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 21 |
| PARAM_VALUE | 2 | args | 733936777710833664 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mng_key_config() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 8 |
| PARAM_VALUE | 2 | args | 6357719112867422208 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| HALF_LOCKED2 | &pool->lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mng_key_freeid() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 20 |
| PARAM_VALUE | 2 | args | 6951641040566345728 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | global &tdx_lock | ||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mng_rd() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 11 |
| PARAM_VALUE | 2 | args | 4346555662070345728 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/virt/vmx/tdx/tdx.c tdh_mng_vpflushdone() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 19 |
| PARAM_VALUE | 2 | args | 3101854253623046144 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | global &tdx_lock | ||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mr_extend() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 16 |
| PARAM_VALUE | 2 | args | 2385046901948948480 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,256-u64max |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | &file->f_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_mr_finalize() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 17 |
| PARAM_VALUE | 2 | args | 1735233329877516288 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_phymem_cache_wb() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 40 |
| PARAM_VALUE | 2 | args | 1488356755851624448 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0-1 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/virt/vmx/tdx/tdx.c tdh_phymem_page_reclaim() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 28 |
| PARAM_VALUE | 2 | args | 245220602531164160 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| PREEMPT_ADD |
arch/x86/virt/vmx/tdx/tdx.c tdh_phymem_page_wbinvd_hkid() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 41 |
| PARAM_VALUE | 2 | args | 6155062350416076800 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_phymem_page_wbinvd_tdr() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 41 |
| PARAM_VALUE | 2 | args | 5411616607243481088 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_vp_addcx() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 4 |
| PARAM_VALUE | 2 | args | 1020665856976211968 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_vp_create() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 10 |
| PARAM_VALUE | 2 | args | 6939531084375060480 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_vp_flush() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 18 |
| PARAM_VALUE | 2 | args | 96331146899701760 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/virt/vmx/tdx/tdx.c tdh_vp_init() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 65558 |
| PARAM_VALUE | 2 | args | 4355035602141368320 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0-u32max |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| USER_DATA | 2 | args->rdx | 0-u64max |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdh_vp_rd() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 26 |
| PARAM_VALUE | 2 | args | 2076229458665123840 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 10448351135499550976 |
| PARAM_VALUE | 2 | args->rsi | 0 |
arch/x86/virt/vmx/tdx/tdx.c tdh_vp_wr() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 43 |
| PARAM_VALUE | 2 | args | 151622184972099584 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r9 | 128,255,u16max,u64max |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 2,8214,8252,16384,2305843009213693963 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock |
arch/x86/virt/vmx/tdx/tdx.c tdx_sys_disable() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 1 | fn | 69 |
| PARAM_VALUE | 2 | args | 6235188043729240064 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rcx | 0 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &syscore_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/virt/vmx/tdx/seamldr.c sc_retry_prerr() -> sc_retry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fn | 9223372036854775808-9223372036854775809 |
| PARAM_VALUE | 2 | args | 597980012600123392,1317122672522371072 |
| PARAM_VALUE | 2 | args->r10 | 0 |
| PARAM_VALUE | 2 | args->r11 | 0 |
| PARAM_VALUE | 2 | args->r12 | 0 |
| PARAM_VALUE | 2 | args->r13 | 0 |
| PARAM_VALUE | 2 | args->r14 | 0 |
| PARAM_VALUE | 2 | args->r15 | 0 |
| PARAM_VALUE | 2 | args->r8 | 0 |
| PARAM_VALUE | 2 | args->r9 | 0 |
| PARAM_VALUE | 2 | args->rbx | 0 |
| PARAM_VALUE | 2 | args->rdi | 0 |
| PARAM_VALUE | 2 | args->rdx | 0 |
| PARAM_VALUE | 2 | args->rsi | 0 |
| DATA_SOURCE | 0 | func | $0 |
| DATA_SOURCE | 1 | fn | $2 |
| DATA_SOURCE | 2 | args | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &seamldr_lock | ||
| HALF_LOCKED2 | &of->mutex |