Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/x86.c emulator_read_emulated() -> emulator_read_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 2 | val | 4096-ptr_max |
| PARAM_VALUE | 2 | *val | 0-255 |
| PARAM_VALUE | 4 | exception | 4096-ptr_max |
| PARAM_VALUE | 5 | ops | 6787365722641260544 |
| PARAM_VALUE | 5 | ops->read_write_guest | 3239712216637587456 |
| PARAM_VALUE | 5 | ops->read_write_mmio | 1902835262067175424 |
| PARAM_VALUE | 5 | ops->write | 0 |
| BUF_SIZE | 0 | ctxt->dst.addr.reg | (-1),8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | val | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| DATA_SOURCE | 4 | exception | $4 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/x86.c emulator_write_emulated() -> emulator_read_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->is_canonical_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 4 | exception | 4096-ptr_max |
| PARAM_VALUE | 5 | ops | 1601129464582103040 |
| PARAM_VALUE | 5 | ops->read_write_guest | 7967748098745884672 |
| PARAM_VALUE | 5 | ops->read_write_mmio | 1055019730732466176 |
| PARAM_VALUE | 5 | ops->write | 1 |
| BUF_SIZE | 2 | val | (-1),3,8 |
| BUF_SIZE | 2 | val | (-1),3,8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | val | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| DATA_SOURCE | 4 | exception | $4 |
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| UNITS | 1 | addr | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |