Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c emulator_io_port_access_allowed() -> (struct x86_emulate_ops)->read_std()
| 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->mode | 1-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| 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->perm_ok | 0 |
| PARAM_VALUE | 2 | val | 7696432301907111936 |
| PARAM_VALUE | 3 | bytes | 2 |
| PARAM_VALUE | 4 | exception | 0 |
| PARAM_VALUE | 5 | system | 1 |
| BUF_SIZE | 2 | val | 2 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -24-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->d | 0x2000000000000,0xffffffffffffffff |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulator_io_port_access_allowed() -> (struct x86_emulate_ops)->read_std()
| 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->mode | 1-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| 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->perm_ok | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 2 | val | 3271472208739414016 |
| PARAM_VALUE | 3 | bytes | 2 |
| PARAM_VALUE | 4 | exception | 0 |
| PARAM_VALUE | 5 | system | 1 |
| BUF_SIZE | 2 | val | 2 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -24-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->d | 0x2000000000000,0xffffffffffffffff |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c linear_read_system() -> (struct x86_emulate_ops)->read_std()
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 2 | val | 4096-ptr_max |
| PARAM_VALUE | 3 | bytes | 2,4,8,44,104 |
| PARAM_VALUE | 4 | exception | 4096-ptr_max |
| PARAM_VALUE | 5 | system | 1 |
| BUF_SIZE | 2 | val | (-1),2,4,44,104 |
| BUF_SIZE | 2 | val | (-1),2,4,44,104 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | val | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| CONTAINER | 0 | -24-8+0 | $(-1) |
| CONTAINER | 4 | -24-8+48 | $(-1) |
| HARD_MAX | 3 | bytes | 104 |
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c segmented_read_std() -> (struct x86_emulate_ops)->read_std()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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->guest_has_fxsr | 4096-ptr_max |
| 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 | 1127445616456425472,1127445616456425480,4061056503423467520 |
| PARAM_VALUE | 4 | exception | 4096-ptr_max |
| PARAM_VALUE | 5 | system | 0 |
| BUF_SIZE | 2 | val | (-1),512 |
| BUF_SIZE | 2 | val | (-1),512 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 2 | val | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| CONTAINER | 0 | -24-8+0 | $(-1) |
| CONTAINER | 4 | -24-8+48 | $(-1) |
| USER_PTR | 0 | ctxt->fetch.end |