Documented in 1 files:
Defined in 2 files as a prototype:
- arch/x86/boot/compressed/misc.h, line 152 (as a prototype)
- arch/x86/include/asm/insn-eval.h, line 21 (as a prototype)
Defined in 2 files as a function:
- arch/x86/boot/compressed/sev-handle-vc.c, line 29 (as a function)
- arch/x86/lib/insn-eval.c, line 63 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/coco/sev/vc-handle.c vc_handle_mmio_movs() -> insn_has_rep_prefix()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 3929561995604525064,6747283956112052232 |
| PARAM_VALUE | 0 | insn->displacement.got | 0-1 |
| PARAM_VALUE | 0 | insn->displacement.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | insn->immediate.got | 0-1 |
| PARAM_VALUE | 0 | insn->immediate.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | insn->immediate1.got | 0-1 |
| PARAM_VALUE | 0 | insn->immediate1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | insn->immediate2.got | 0-1 |
| PARAM_VALUE | 0 | insn->immediate2.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | insn->modrm.got | 0-1 |
| PARAM_VALUE | 0 | insn->modrm.value | 0-255 |
| PARAM_VALUE | 0 | insn->moffset1.got | 0-1 |
| PARAM_VALUE | 0 | insn->moffset1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | insn->moffset2.got | 0-1 |
| PARAM_VALUE | 0 | insn->moffset2.nbytes | 0,4 |
| PARAM_VALUE | 0 | insn->opcode.got | 1 |
| PARAM_VALUE | 0 | insn->opcode.nbytes | 1-255 |
| PARAM_VALUE | 0 | insn->prefixes.got | 1-255 |
| PARAM_VALUE | 0 | insn->sib.got | 0-1 |
| PARAM_VALUE | 0 | insn->sib.nbytes | 0-1 |
| PARAM_VALUE | 0 | insn->sib.value | 0-255 |
| PARAM_VALUE | 0 | insn->x86_64 | 0-1 |
| MEM_ZERO | 0 | insn | |
| PREEMPT_ADD |
arch/x86/coco/sev/vc-handle.c vc_ioio_exitinfo() -> insn_has_rep_prefix()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 3929561995604525064,6747283956112052232 |
| PARAM_VALUE | 0 | insn->addr_bytes | 0,2,4,8 |
| PARAM_VALUE | 0 | insn->displacement.got | 0-1 |
| PARAM_VALUE | 0 | insn->displacement.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | insn->immediate.got | 0-1 |
| PARAM_VALUE | 0 | insn->immediate.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | insn->immediate1.got | 0-1 |
| PARAM_VALUE | 0 | insn->immediate1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | insn->immediate2.got | 0-1 |
| PARAM_VALUE | 0 | insn->immediate2.nbytes | 0-2,4 |
| PARAM_VALUE | 0 | insn->modrm.got | 0-1 |
| PARAM_VALUE | 0 | insn->modrm.value | 0-255 |
| PARAM_VALUE | 0 | insn->moffset1.got | 0-1 |
| PARAM_VALUE | 0 | insn->moffset1.nbytes | 0,2,4 |
| PARAM_VALUE | 0 | insn->moffset2.got | 0-1 |
| PARAM_VALUE | 0 | insn->moffset2.nbytes | 0,4 |
| PARAM_VALUE | 0 | insn->opcode.value | 0 |
| PARAM_VALUE | 0 | insn->opnd_bytes | 0,2,4,8 |
| PARAM_VALUE | 0 | insn->sib.got | 0-1 |
| PARAM_VALUE | 0 | insn->sib.nbytes | 0-1 |
| PARAM_VALUE | 0 | insn->sib.value | 0-255 |
| PARAM_VALUE | 0 | insn->vex_prefix.value | 0 |
| PARAM_VALUE | 0 | insn->x86_64 | 0-1 |
| PARAM_VALUE | 0 | insn->xop_prefix.nbytes | 0 |
| BUF_SIZE | 0 | insn | 112 |
| MEM_ZERO | 0 | insn | |
| PREEMPT_ADD |