Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- arch/x86/boot/compressed/tdx.c
- arch/x86/coco/tdx/tdx.c
- arch/x86/hyperv/ivm.c
- arch/x86/include/asm/shared/tdx.h, line 171
- arch/x86/kernel/cpu/vmware.c, line 532
Smatch caller information:
arch/x86/kernel/cpu/vmware.c vmware_tdx_hypercall() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 7299206934569504768 |
| PARAM_VALUE | 0 | args->r10 | 7239256329 |
| PARAM_VALUE | 0 | args->r11 | 1 |
| PARAM_VALUE | 0 | args->r12 | 1447909480 |
| PARAM_VALUE | 0 | args->r13 | 10,30,39-41,45,68,85-86,91,97,65566,65621,131102,131157,196638,262174,327710,393246 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0-12384898975268863,9223396226110586880-u64max |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdx | 0,65536-s32max,18446744071562067968-18446744073709486080 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
arch/x86/coco/tdx/tdx.c __halt() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 7898482985288458240 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 12 |
| PARAM_VALUE | 0 | args->r12 | 0-1 |
| PARAM_VALUE | 0 | args->r13 | 0 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
arch/x86/coco/tdx/tdx.c _tdx_hypercall() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 5924332042633981952 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 30,48,65538 |
| PARAM_VALUE | 0 | args->r13 | 1,131072 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/coco/tdx/tdx.c handle_cpuid() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 2756385751273238528 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 10 |
| PARAM_VALUE | 0 | args->r12 | 1073741824-1342177279 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
arch/x86/coco/tdx/tdx.c handle_in() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4426162428490633216 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 30 |
| PARAM_VALUE | 0 | args->r12 | 1 |
| PARAM_VALUE | 0 | args->r13 | 0 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
arch/x86/coco/tdx/tdx.c mmio_read() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 6078126152540180480 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 48 |
| PARAM_VALUE | 0 | args->r12 | 0-255 |
| PARAM_VALUE | 0 | args->r13 | 0 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
arch/x86/coco/tdx/tdx.c read_msr() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 7025073864065155072 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 31 |
| PARAM_VALUE | 0 | args->r13 | 0 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
arch/x86/coco/tdx/tdx.c tdx_kvm_hypercall() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 2705963941619228672 |
| PARAM_VALUE | 0 | args->r10 | 5,9-11 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/coco/tdx/tdx.c tdx_map_gpa() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 1251916787783712768 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 65537 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &mem_enc_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/coco/tdx/tdx.c tdx_panic() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 7616936598570946560 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 65539 |
| PARAM_VALUE | 0 | args->r12 | 0 |
| PARAM_VALUE | 0 | args->r13 | 0 |
| PARAM_VALUE | 0 | args->rcx | 0,65484 |
| NOCHECK_CALL |
arch/x86/coco/tdx/tdx.c write_msr() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 6129265051991879680 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 32 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
arch/x86/hyperv/ivm.c hv_tdx_hypercall() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4286682296689012736 |
| PARAM_VALUE | 0 | args->r10 | 92,65629 |
| PARAM_VALUE | 0 | args->r11 | 0 |
| PARAM_VALUE | 0 | args->r12 | 0 |
| PARAM_VALUE | 0 | args->r13 | 0 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/hyperv/ivm.c hv_tdx_msr_read() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 1136974243531616256 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 31 |
| PARAM_VALUE | 0 | args->r12 | 1073741952,1073741954-1073741955,1073741970 |
| PARAM_VALUE | 0 | args->r13 | 0 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
arch/x86/hyperv/ivm.c hv_tdx_msr_write() -> __tdx_hypercall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4405286601067999232 |
| PARAM_VALUE | 0 | args->r10 | 0 |
| PARAM_VALUE | 0 | args->r11 | 32 |
| PARAM_VALUE | 0 | args->r12 | 1073741824,1073741952,1073741954-1073741956,1073741970 |
| PARAM_VALUE | 0 | args->r14 | 0 |
| PARAM_VALUE | 0 | args->r15 | 0 |
| PARAM_VALUE | 0 | args->r8 | 0 |
| PARAM_VALUE | 0 | args->r9 | 0 |
| PARAM_VALUE | 0 | args->rbx | 0 |
| PARAM_VALUE | 0 | args->rcx | 0 |
| PARAM_VALUE | 0 | args->rdi | 0 |
| PARAM_VALUE | 0 | args->rdx | 0 |
| PARAM_VALUE | 0 | args->rsi | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | args->r13 | 0-u64max[c] |