Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/coco/tdx/tdx.c tdx_handle_virt_exception() -> virt_exception_kernel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | regs | 4096-ptr_max |
| PARAM_VALUE | 0 | regs->fred_ss.type | 3 |
| PARAM_VALUE | 0 | regs->fred_ss.vector | 20 |
| PARAM_VALUE | 0 | regs->orig_ax | u64max |
| PARAM_VALUE | 1 | ve | 967276460840992768 |
| PARAM_VALUE | 1 | ve->exit_qual | 0 |
| PARAM_VALUE | 1 | ve->exit_reason | 0 |
| PARAM_VALUE | 1 | ve->gla | 0 |
| PARAM_VALUE | 1 | ve->gpa | 0 |
| PARAM_VALUE | 1 | ve->instr_len | 0 |
| CAPPED_DATA | 0 | regs | 1 |
| DATA_SOURCE | 0 | regs | $0 |
| DATA_SOURCE | 1 | ve | $1 |