Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/x86.c emulator_read_write() -> emulator_read_write_onepage()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | bytes | 0-4095 |
| PARAM_VALUE | 3 | exception | 4096-ptr_max |
| PARAM_VALUE | 4 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 4 | vcpu->mmio_nr_fragments | 0 |
| PARAM_VALUE | 5 | ops | 1601129464582103040,6787365722641260544 |
| PARAM_VALUE | 5 | ops->read_write_guest | 3239712216637587456,7967748098745884672 |
| PARAM_VALUE | 5 | ops->read_write_mmio | 1055019730732466176,1902835262067175424 |
| BUF_SIZE | 1 | val | (-1),3,8 |
| BUF_SIZE | 1 | val | (-1),3,8 |
| DATA_SOURCE | 0 | addr | $1 |
| DATA_SOURCE | 1 | val | $2 |
| DATA_SOURCE | 3 | exception | $4 |
| DATA_SOURCE | 5 | ops | $5 |
| UNITS | 0 | addr | unit_byte |
arch/x86/kvm/x86.c emulator_read_write() -> emulator_read_write_onepage()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | exception | 4096-ptr_max |
| PARAM_VALUE | 4 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 5 | ops | 1601129464582103040,6787365722641260544 |
| PARAM_VALUE | 5 | ops->read_write_guest | 3239712216637587456,7967748098745884672 |
| PARAM_VALUE | 5 | ops->read_write_mmio | 1055019730732466176,1902835262067175424 |
| BUF_SIZE | 1 | val | (-1),3,8 |
| BUF_SIZE | 1 | val | (-1),3,8 |
| DATA_SOURCE | 0 | addr | $1 [m] |
| DATA_SOURCE | 1 | val | $2 |
| DATA_SOURCE | 2 | bytes | $3 |
| DATA_SOURCE | 3 | exception | $4 |
| DATA_SOURCE | 5 | ops | $5 |
| USER_DATA | 1 | *val | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | addr | |
| NO_OVERFLOW_SIMPLE | 2 | bytes | |
| UNITS | 0 | addr | unit_byte |
| UNITS | 2 | bytes | unit_byte |