Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/coco/sev/vc-handle.c handle_vc_boot_ghcb() -> vc_handle_exitcode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 3929561995604525056 |
| PARAM_VALUE | 0 | ctxt->fi.cr2 | 0 |
| PARAM_VALUE | 0 | ctxt->fi.error_code | 0 |
| PARAM_VALUE | 0 | ctxt->fi.vector | 0 |
| PARAM_VALUE | 0 | ctxt->insn.addr_bytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.attr | 0 |
| PARAM_VALUE | 0 | ctxt->insn.displacement.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.displacement.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | ctxt->insn.emulate_prefix_size | 0 |
| PARAM_VALUE | 0 | ctxt->insn.immediate.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.immediate.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | ctxt->insn.immediate1.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.immediate1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | ctxt->insn.immediate2.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.immediate2.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | ctxt->insn.kaddr | 0 |
| PARAM_VALUE | 0 | ctxt->insn.length | 0 |
| PARAM_VALUE | 0 | ctxt->insn.modrm.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.modrm.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.moffset1.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.moffset1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | ctxt->insn.moffset2.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.moffset2.nbytes | 0,4 |
| PARAM_VALUE | 0 | ctxt->insn.next_byte | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.value | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opnd_bytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.prefixes.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.prefixes.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.sib.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.sib.nbytes | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.value | 0 |
| PARAM_VALUE | 0 | ctxt->insn.x86_64 | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.xop_prefix.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | ghcb | 4096-ptr_max |
| PARAM_VALUE | 1 | ghcb->save.sw_exit_code | 0 |
| PARAM_VALUE | 1 | *ghcb->save.valid_bitmap | 0-255 |
| PARAM_VALUE | 2 | exit_code | 0,20 |
| MEM_ZERO | 0 | ctxt | |
| MEM_ZERO | 1 | ghcb->save.valid_bitmap |
arch/x86/coco/sev/vc-handle.c vc_raw_handle_exception() -> vc_handle_exitcode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 6747283956112052224 |
| PARAM_VALUE | 0 | ctxt->fi.cr2 | 0 |
| PARAM_VALUE | 0 | ctxt->fi.error_code | 0 |
| PARAM_VALUE | 0 | ctxt->fi.vector | 0 |
| PARAM_VALUE | 0 | ctxt->insn.addr_bytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.attr | 0 |
| PARAM_VALUE | 0 | ctxt->insn.displacement.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.displacement.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | ctxt->insn.emulate_prefix_size | 0 |
| PARAM_VALUE | 0 | ctxt->insn.immediate.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.immediate.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | ctxt->insn.immediate1.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.immediate1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | ctxt->insn.immediate2.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.immediate2.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | ctxt->insn.kaddr | 0 |
| PARAM_VALUE | 0 | ctxt->insn.length | 0 |
| PARAM_VALUE | 0 | ctxt->insn.modrm.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.modrm.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.moffset1.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.moffset1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | ctxt->insn.moffset2.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.moffset2.nbytes | 0,4 |
| PARAM_VALUE | 0 | ctxt->insn.next_byte | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.value | 0 |
| PARAM_VALUE | 0 | ctxt->insn.opnd_bytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.prefixes.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.prefixes.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.sib.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.sib.nbytes | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.got | 0 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.value | 0 |
| PARAM_VALUE | 0 | ctxt->insn.x86_64 | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.xop_prefix.nbytes | 0 |
| PARAM_VALUE | 0 | ctxt->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | ghcb | 4096-ptr_max |
| PARAM_VALUE | 1 | ghcb->save.sw_exit_code | 0 |
| PARAM_VALUE | 1 | *ghcb->save.valid_bitmap | 0-255 |
| PARAM_VALUE | 2 | exit_code | 0-64,66-u64max |
| DATA_SOURCE | 1 | ghcb | r __sev_get_ghcb |
| DATA_SOURCE | 2 | exit_code | $1 |
| BIT_INFO | 1 | ghcb | 0x0,0x1fffffffffffffff |
| BIT_INFO | 1 | ghcb | 0x0,0x1fffffffffffffff |
| MEM_ZERO | 0 | ctxt | |
| MEM_ZERO | 1 | ghcb->save.valid_bitmap | |
| PREEMPT_ADD |