Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/lib/insn-eval.c resolve_seg_reg() -> check_seg_overrides()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 3280860769348898816,3929561995604525064,4671128583144820736,6127367958537531392,6747283956112052232,7961320843205591040,8874595658658983936 |
| PARAM_VALUE | 1 | regoff | s32min-127,129-s32max |
| DATA_SOURCE | 0 | insn | $0 |
| DATA_SOURCE | 1 | regoff | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | insn->displacement.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate1.value | (-128)-255 |
| USER_DATA | 0 | insn->immediate2.value | (-128)-255 |
| USER_DATA | 0 | insn->modrm.value | 0-255 |
| USER_DATA | 0 | insn->moffset1.value | (-128)-255 |
| USER_DATA | 0 | insn->moffset2.value | (-128)-255 |
| USER_DATA | 0 | insn->rex_prefix.value | 0-255 |
| USER_DATA | 0 | insn->sib.value | 0-255 |