Defined in 7 files as a member:
- arch/arm64/include/asm/kvm_nested.h, line 93 (as a member)
- drivers/char/xillybus/xillyusb.c, line 147 (as a member)
- drivers/hwtracing/intel_th/gth.c, line 239 (as a member)
- drivers/mfd/wm8350-regmap.c, line 18 (as a member)
- fs/ceph/mds_client.h, line 138 (as a member)
- include/linux/mfd/aat2870.h, line 114 (as a member)
- tools/testing/selftests/kvm/include/x86/kvm_util_arch.h, line 17 (as a member)
Defined in 1 files as a function:
Referenced in 14 files:
- arch/arm64/include/asm/kvm_nested.h, line 116
- arch/arm64/kvm/at.c, line 1651
- arch/arm64/kvm/nested.c
- drivers/char/xillybus/xillyusb.c
- drivers/hwtracing/intel_th/gth.c
- drivers/mfd/aat2870-core.c, line 101
- drivers/mfd/wm8350-regmap.c, line 283
- drivers/pcmcia/rsrc_nonstatic.c
- fs/ceph/mds_client.c
- net/smc/smc_rx.c
- net/vmw_vsock/hyperv_transport.c
- sound/usb/clock.c
- tools/testing/selftests/kvm/include/x86/processor.h, line 1557
- tools/testing/selftests/kvm/lib/x86/vmx.c, line 57
Smatch caller information:
drivers/pcmcia/rsrc_nonstatic.c do_validate_mem() -> do_validate_mem param 3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | s->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | s->ops->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | s->ops->init | 4096-ptr_max |
| PARAM_VALUE | 0 | s->ops->set_socket | 4096-ptr_max |
| PARAM_VALUE | 0 | s->ops->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | s->ops_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | s->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | s->ops_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | s->resource_ops->init | 7397773669395951616,9199677134415597568 |
| PARAM_VALUE | 0 | s->resource_ops->validate_mem | 0,4334191706921844736 |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->flags | 2147484160 |
| PARAM_VALUE | 1 | res->name | 8676249029175934976 |
| PARAM_VALUE | 1 | res->start | 0-18446744073709551614 |
| PARAM_VALUE | 2 | count | 7205421407030767616 |
| PARAM_VALUE | 2 | *count | 1 |
| BUF_SIZE | 0 | s | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | s | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | s->dev.class | (-1),96 |
| BUF_SIZE | 0 | s->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | s->driver_data | (-1),2792 |
| BUF_SIZE | 0 | s->ops | (-1),48 |
| BUF_SIZE | 0 | s->resource_data | (-1),72 |
| BUF_SIZE | 1 | res | 64 |
| BUF_SIZE | 1 | res->name | 16 |
| CAPPED_DATA | 1 | res | 1 |
| CAPPED_DATA | 1 | res->start | 1 |
| DATA_SOURCE | 0 | s | $0 |
| DATA_SOURCE | 1 | res | r claim_region |
| STR_LEN | 1 | res->name | 15 |
| TERMINATED | 1 | res->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | s->cis_mem.res->end | |
| NO_OVERFLOW_SIMPLE | 0 | s->map_size | |
| UNITS | 0 | s | unit_byte |
| LOCK2 | 0 | &s->ops_mutex | |
| HALF_LOCKED2 | 0 | &s->skt_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pcmcia/rsrc_nonstatic.c do_validate_mem() -> do_validate_mem param 3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | s->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | s->ops->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | s->ops->init | 4096-ptr_max |
| PARAM_VALUE | 0 | s->ops->set_socket | 4096-ptr_max |
| PARAM_VALUE | 0 | s->ops->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | s->ops_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | s->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | s->ops_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | s->resource_ops->init | 7397773669395951616,9199677134415597568 |
| PARAM_VALUE | 0 | s->resource_ops->validate_mem | 0,4334191706921844736 |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->flags | 2147484160 |
| PARAM_VALUE | 1 | res->name | 8676249029175934976 |
| PARAM_VALUE | 2 | count | 2306642602781261824 |
| PARAM_VALUE | 2 | *count | 1 |
| BUF_SIZE | 0 | s | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | s | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | s->dev.class | (-1),96 |
| BUF_SIZE | 0 | s->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | s->driver_data | (-1),2792 |
| BUF_SIZE | 0 | s->ops | (-1),48 |
| BUF_SIZE | 0 | s->resource_data | (-1),72 |
| BUF_SIZE | 1 | res | 64 |
| BUF_SIZE | 1 | res->name | 16 |
| CAPPED_DATA | 1 | res | 1 |
| CAPPED_DATA | 1 | res->start | 1 |
| DATA_SOURCE | 0 | s | $0 |
| DATA_SOURCE | 1 | res | r claim_region |
| STR_LEN | 1 | res->name | 15 |
| TERMINATED | 1 | res->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | s->cis_mem.res->end | |
| NO_OVERFLOW_SIMPLE | 0 | s->map_size | |
| UNITS | 0 | s | unit_byte |
| LOCK2 | 0 | &s->ops_mutex | |
| HALF_LOCKED2 | 0 | &s->skt_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |