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