Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/coco/tdx/tdx.c virt_exception_kernel() -> handle_halt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ve | 967276460840992768 |
| PARAM_VALUE | 0 | ve->exit_qual | 0 |
| PARAM_VALUE | 0 | ve->exit_reason | 12 |
| PARAM_VALUE | 0 | ve->gla | 0 |
| PARAM_VALUE | 0 | ve->gpa | 0 |
| PARAM_VALUE | 0 | ve->instr_len | 0 |
| DATA_SOURCE | 0 | ve | $1 |