Defined in 3 files as a member:
- drivers/net/ethernet/amazon/ena/ena_netdev.h, line 187 (as a member)
- drivers/net/ethernet/intel/idpf/idpf_txrx.h, line 455 (as a member)
- drivers/net/ethernet/pensando/ionic/ionic_lif.h, line 36 (as a member)
Defined in 1 files as a function:
Referenced in 7 files:
- arch/x86/kvm/emulate.c
- drivers/net/ethernet/amazon/ena/ena_ethtool.c, line 107
- drivers/net/ethernet/amazon/ena/ena_netdev.c, line 2502
- drivers/net/ethernet/intel/idpf/idpf_ethtool.c
- drivers/net/ethernet/intel/idpf/idpf_txrx.c, line 2537
- drivers/net/ethernet/pensando/ionic/ionic_stats.c, line 135
- drivers/net/ethernet/pensando/ionic/ionic_txrx.c
Smatch caller information:
arch/x86/kvm/emulate.c segmented_cmpxchg() -> linearize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->lock_prefix | 1-255 |
| 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 | 3 | write | 1 |
| PARAM_VALUE | 4 | linear | 842207540595093504 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $4 |
| BIT_INFO | 0 | ctxt->d | 0x0,0xffffdfffffffffff |
| BIT_INFO | 1 | addr | 0x0,0x0 |
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c segmented_read() -> linearize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 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 | 3 | write | 0 |
| PARAM_VALUE | 4 | linear | 1136309551738105856 |
| BUF_SIZE | 0 | ctxt->dst.addr.reg | (-1),8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $3 |
| BIT_INFO | 1 | addr | 0x0,0x0 |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c segmented_read_std() -> linearize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 3 | write | 0 |
| PARAM_VALUE | 4 | linear | 7213054540691329024 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $3 |
| BIT_INFO | 1 | addr | 0x0,0x0 |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c segmented_write() -> linearize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 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 | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 3 | write | 1 |
| PARAM_VALUE | 4 | linear | 8566090163974103040 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $3 |
| BIT_INFO | 1 | addr | 0x0,0x0 |
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c segmented_write_std() -> linearize()
| 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 | 3 | write | 1 |
| PARAM_VALUE | 4 | linear | 7988717448790196224 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $3 |
| BIT_INFO | 1 | addr | 0x0,0x0 |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |