Defined in 1 files as a prototype:
Referenced in 3 files:
- arch/x86/virt/vmx/tdx/seamcall.S
- arch/x86/virt/vmx/tdx/seamcall_internal.h, line 62
- arch/x86/virt/vmx/tdx/tdx.c, line 1648
Smatch caller information:
arch/x86/virt/vmx/tdx/tdx.c __seamcall_dirty_cache() -> __seamcall_dirty_cache param 0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | $ | 0-4,6-11,16-21,24,26,28-29,31,33-36,38,40-41,43,45,52-53,69,65558 |
| PARAM_VALUE | 1 | $ | 4096-ptr_max |
| DATA_SOURCE | 0 | $ | $1 |
| DATA_SOURCE | 1 | $ | $2 |
| HARD_MAX | 0 | $ | 65558 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | $->rcx | 0,4096-u64max |
| USER_DATA | 1 | $->rcx | 0,256-18446744073709535231[c] |
| USER_DATA | 1 | $->rdx | 0-u64max |
arch/x86/virt/vmx/tdx/seamldr.c __seamcall_dirty_cache() -> __seamcall_dirty_cache param 0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | $ | 9223372036854775808-9223372036854775809 |
| PARAM_VALUE | 1 | $ | 597980012600123392,1317122672522371072 |
| PARAM_VALUE | 1 | $->r10 | 0 |
| PARAM_VALUE | 1 | $->r11 | 0 |
| PARAM_VALUE | 1 | $->r12 | 0 |
| PARAM_VALUE | 1 | $->r13 | 0 |
| PARAM_VALUE | 1 | $->r14 | 0 |
| PARAM_VALUE | 1 | $->r15 | 0 |
| PARAM_VALUE | 1 | $->r8 | 0 |
| PARAM_VALUE | 1 | $->r9 | 0 |
| PARAM_VALUE | 1 | $->rbx | 0 |
| PARAM_VALUE | 1 | $->rdi | 0 |
| PARAM_VALUE | 1 | $->rdx | 0 |
| PARAM_VALUE | 1 | $->rsi | 0 |
| CAPPED_DATA | 1 | $->rcx | 1 |
| DATA_SOURCE | 0 | $ | $1 |
| DATA_SOURCE | 1 | $ | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &seamldr_lock | ||
| HALF_LOCKED2 | &of->mutex |