Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/virt/vmx/tdx/tdx.c sc_retry_prerr() -> sc_retry_prerr param 1()

Type Parameter Key Value
PARAM_VALUE 0 $ 31,33-36,45,52-53
PARAM_VALUE 1 $ 1-9223652412319858693,9223652412319858695-9223652412319858700,9223652412319858702-9223652416614760447,9223652416614760449-u64max
PARAM_VALUE 2 $ 949098151896829952,2679935637000413184,3140278011576700928,3606467188424175616,4197408833093038080,4825817680028098560,7385801626455605248,8402989712382775296
PARAM_VALUE 2 $->r10 0
PARAM_VALUE 2 $->r11 0
PARAM_VALUE 2 $->r12 0
PARAM_VALUE 2 $->r13 0
PARAM_VALUE 2 $->r14 0
PARAM_VALUE 2 $->r15 0
PARAM_VALUE 2 $->r9 0
PARAM_VALUE 2 $->rbx 0
PARAM_VALUE 2 $->rdi 0
PARAM_VALUE 2 $->rdx 0-1,576460756598390787-576460756598390789,720575953264181256,1801439863833100288-1801439863833100291,9871890387491094528,10448351139794518024-10448351139794518025,10448351139794518032-10448351139794518034,10952754298060013568-u64max
PARAM_VALUE 2 $->rsi 0
DATA_SOURCE 0 $ $2
DATA_SOURCE 1 $ r sc_retry
DATA_SOURCE 2 $ $3
HARD_MAX 0 $ 53
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &sysinit_lock

arch/x86/virt/vmx/tdx/seamldr.c sc_retry_prerr() -> sc_retry_prerr param 1()

Type Parameter Key Value
PARAM_VALUE 0 $ 9223372036854775808-9223372036854775809
PARAM_VALUE 1 $ 1-9223652412319858693,9223652412319858695-9223652412319858700,9223652412319858702-9223652416614760447,9223652416614760449-u64max
PARAM_VALUE 2 $ 597980012600123392,1317122672522371072
PARAM_VALUE 2 $->r10 0
PARAM_VALUE 2 $->r11 0
PARAM_VALUE 2 $->r12 0
PARAM_VALUE 2 $->r13 0
PARAM_VALUE 2 $->r14 0
PARAM_VALUE 2 $->r15 0
PARAM_VALUE 2 $->r8 0
PARAM_VALUE 2 $->r9 0
PARAM_VALUE 2 $->rbx 0
PARAM_VALUE 2 $->rdi 0
PARAM_VALUE 2 $->rdx 0
PARAM_VALUE 2 $->rsi 0
DATA_SOURCE 0 $ $2
DATA_SOURCE 1 $ r sc_retry
DATA_SOURCE 2 $ $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &seamldr_lock
HALF_LOCKED2 &of->mutex