Defined in 2 files as a function:
- arch/x86/boot/compressed/sev-handle-vc.c, line 68 (as a function)
- arch/x86/coco/sev/vc-handle.c, line 197 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/coco/sev/vc-handle.c vc_handle_mmio_movs() -> vc_write_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 3929561995604525056,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.displacement.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.displacement.nbytes | 0-2,4 |
| 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.modrm.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.modrm.value | 0-255 |
| 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.opcode.got | 1 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.nbytes | 1-255 |
| PARAM_VALUE | 0 | ctxt->insn.opcode.value | 0 |
| PARAM_VALUE | 0 | ctxt->insn.prefixes.got | 1-255 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.bytes | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | ctxt->insn.sib.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.sib.nbytes | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.sib.value | 0-255 |
| 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 | 0 | ctxt->regs->cs | 1-u16max |
| PARAM_VALUE | 0 | *ctxt->insn->opcode->bytes | 0-255 |
| PARAM_VALUE | 1 | dst | 4096-ptr_max |
| PARAM_VALUE | 2 | buf | 8009385161106112512 |
| PARAM_VALUE | 3 | size | 1-2,4,8 |
| BUF_SIZE | 2 | buf | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 3 | size | $1 |
| MEM_ZERO | 0 | ctxt | |
| PREEMPT_ADD |
arch/x86/coco/sev/vc-handle.c vc_insn_string_write() -> vc_write_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 3929561995604525056,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.displacement.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.displacement.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | ctxt->insn.emulate_prefix_size | 0,5 |
| 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.modrm.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.modrm.value | 0-255 |
| 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.opcode.value | 0 |
| PARAM_VALUE | 0 | ctxt->insn.prefixes->bytes | 1-255 |
| PARAM_VALUE | 0 | ctxt->insn.prefixes.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix->bytes | 0-255 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.bytes | 0-255 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.nbytes | 0-2 |
| PARAM_VALUE | 0 | ctxt->insn.rex_prefix.value | 0-255 |
| PARAM_VALUE | 0 | ctxt->insn.sib.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.sib.nbytes | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.sib.value | 0-255 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix->bytes | 0-255 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.got | 0-1 |
| PARAM_VALUE | 0 | ctxt->insn.vex_prefix.nbytes | 0,2-4 |
| 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 | 0 | ctxt->regs->cs | 1-u16max |
| PARAM_VALUE | 0 | *ctxt->insn->prefixes->bytes | 0-255 |
| PARAM_VALUE | 1 | dst | 4096-ptr_max |
| PARAM_VALUE | 2 | buf | 4096-ptr_max |
| PARAM_VALUE | 3 | size | 0-4 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 3 | size | $3 |
| MEM_ZERO | 0 | ctxt | |
| PREEMPT_ADD |