Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c check_perm_in() -> emulator_io_permitted()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->d | 8192-u64max |
| PARAM_VALUE | 0 | ctxt->dst.bytes | 0-4 |
| PARAM_VALUE | 0 | ctxt->mem_read.pos | 0 |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| 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 | len | 0-4 |
| CAPPED_DATA | 0 | ctxt->dst.bytes | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->d | 0x2000000000000,0xffffffffffffffff |
| UNITS | 1 | port | unit_byte |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c check_perm_out() -> emulator_io_permitted()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->d | 8192-u64max |
| PARAM_VALUE | 0 | ctxt->mem_read.pos | 0 |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| 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 | 0 | ctxt->src.bytes | 0-4 |
| PARAM_VALUE | 2 | len | 0-4 |
| CAPPED_DATA | 0 | ctxt->src.bytes | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->d | 0x2000000000000,0xffffffffffffffff |
| UNITS | 1 | port | unit_byte |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |