Open Menu /

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/coco/tdx/tdx.c tdx_announce() -> tdcall()

Type Parameter Key Value
PARAM_VALUE 0 fn 1
PARAM_VALUE 1 args 7628648235640958976
PARAM_VALUE 1 args->r10 0
PARAM_VALUE 1 args->r11 0
PARAM_VALUE 1 args->r12 0
PARAM_VALUE 1 args->r13 0
PARAM_VALUE 1 args->r14 0
PARAM_VALUE 1 args->r15 0
PARAM_VALUE 1 args->r8 0
PARAM_VALUE 1 args->r9 0
PARAM_VALUE 1 args->rbx 0
PARAM_VALUE 1 args->rcx 0
PARAM_VALUE 1 args->rdi 0
PARAM_VALUE 1 args->rdx 0
PARAM_VALUE 1 args->rsi 0
NOCHECK_CALL

arch/x86/coco/tdx/tdx.c tdx_get_ve_info() -> tdcall()

Type Parameter Key Value
PARAM_VALUE 0 fn 3
PARAM_VALUE 1 args 9196971111929417728
PARAM_VALUE 1 args->r10 0
PARAM_VALUE 1 args->r11 0
PARAM_VALUE 1 args->r12 0
PARAM_VALUE 1 args->r13 0
PARAM_VALUE 1 args->r14 0
PARAM_VALUE 1 args->r15 0
PARAM_VALUE 1 args->r8 0
PARAM_VALUE 1 args->r9 0
PARAM_VALUE 1 args->rbx 0
PARAM_VALUE 1 args->rcx 0
PARAM_VALUE 1 args->rdi 0
PARAM_VALUE 1 args->rdx 0
PARAM_VALUE 1 args->rsi 0
NOCHECK_CALL

arch/x86/coco/tdx/tdx.c tdx_setup() -> tdcall()

Type Parameter Key Value
PARAM_VALUE 0 fn 1
PARAM_VALUE 1 args 5168207481600626688
PARAM_VALUE 1 args->r10 0
PARAM_VALUE 1 args->r11 0
PARAM_VALUE 1 args->r12 0
PARAM_VALUE 1 args->r13 0
PARAM_VALUE 1 args->r14 0
PARAM_VALUE 1 args->r15 0
PARAM_VALUE 1 args->r8 0
PARAM_VALUE 1 args->r9 0
PARAM_VALUE 1 args->rbx 0
PARAM_VALUE 1 args->rcx 0
PARAM_VALUE 1 args->rdi 0
PARAM_VALUE 1 args->rdx 0
PARAM_VALUE 1 args->rsi 0
NOCHECK_CALL