Defined in 1 files as a prototype:
Referenced in 2 files:
Smatch caller information:
arch/x86/coco/tdx/tdx.c tdcall() -> __tdcall_ret()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | $ | 1,3 |
| PARAM_VALUE | 1 | $ | 5168207481600626688,7628648235640958976,9196971111929417728 |
| 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 | $->rcx | 0 |
| PARAM_VALUE | 1 | $->rdi | 0 |
| PARAM_VALUE | 1 | $->rdx | 0 |
| PARAM_VALUE | 1 | $->rsi | 0 |
| DATA_SOURCE | 0 | $ | $0 |
| DATA_SOURCE | 1 | $ | $1 |
| HARD_MAX | 0 | $ | 3 |
arch/x86/coco/tdx/tdx.c tdg_vm_rd() -> __tdcall_ret()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | $ | 7 |
| PARAM_VALUE | 1 | $ | 7274186201679216640 |
| 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 | $->rcx | 0 |
| PARAM_VALUE | 1 | $->rdi | 0 |
| PARAM_VALUE | 1 | $->rdx | 1229482711157047318-1229482711157047319,10448351135499550745 |
| PARAM_VALUE | 1 | $->rsi | 0 |