Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pcmcia/rsrc_nonstatic.c do_validate_mem() -> claim_region()
| 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 | base | 0-18446744073709551614 |
| PARAM_VALUE | 2 | size | 0-s32max |
| PARAM_VALUE | 3 | type | 512 |
| PARAM_VALUE | 4 | name | 8676249029175934976 |
| 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 | 4 | name | 16 |
| CAPPED_DATA | 1 | base | 1 |
| CAPPED_DATA | 1 | base | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| DATA_SOURCE | 1 | base | $1 |
| STR_LEN | 0 | s | 15 |
| NOSPEC | 1 | base | |
| TERMINATED | 4 | 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 |
| UNITS | 1 | base | 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() -> claim_region()
| 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 | 2 | size | 0-s32max |
| PARAM_VALUE | 3 | type | 512 |
| PARAM_VALUE | 4 | name | 8676249029175934976 |
| 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 | 4 | name | 16 |
| CAPPED_DATA | 1 | base | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 15 |
| TERMINATED | 4 | 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 |
| UNITS | 1 | base | unit_byte |
| LOCK2 | 0 | &s->ops_mutex | |
| HALF_LOCKED2 | 0 | &s->skt_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |