Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kernel/umip.c fixup_umip_exception() -> insn_decode_from_regs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 7961320843205591040 |
| PARAM_VALUE | 1 | regs | 4096-ptr_max |
| PARAM_VALUE | 1 | regs->cs | 1-u16max |
| PARAM_VALUE | 1 | regs->orig_ax | 0-u32max,u64max |
| PARAM_VALUE | 3 | buf_size | 1-s32max |
| BUF_SIZE | 2 | buf | 15 |
| CAPPED_DATA | 1 | regs | 1 |
| CAPPED_DATA | 1 | regs->cs | 1 |
| DATA_SOURCE | 1 | regs | $0 |
| DATA_SOURCE | 3 | buf_size | r insn_fetch_from_user |
| PREEMPT_ADD | |||
| USER_DATA | 2 | *buf | 0-255 |
| NO_OVERFLOW_SIMPLE | 2 | buf | |
| USER_PTR | 2 | buf |
arch/x86/coco/sev/vc-handle.c __vc_decode_user_insn() -> insn_decode_from_regs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 3929561995604525064,6747283956112052232 |
| PARAM_VALUE | 1 | regs | 4096-ptr_max |
| PARAM_VALUE | 1 | regs->cs | 1-u16max |
| PARAM_VALUE | 1 | regs->orig_ax | 0,20,u64max |
| PARAM_VALUE | 3 | buf_size | s32min-(-23),(-21)-(-1),1-s32max |
| BUF_SIZE | 2 | buf | 15 |
| DATA_SOURCE | 3 | buf_size | r insn_fetch_from_user_inatomic |
| MEM_ZERO | 0 | insn | |
| PREEMPT_ADD | |||
| NO_OVERFLOW_SIMPLE | 2 | buf |