Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pcmcia/yenta_socket.c yenta_clear_maps() -> yenta_set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 1 | mem | 263704355686141952 |
| PARAM_VALUE | 1 | mem->card_start | 0 |
| PARAM_VALUE | 1 | mem->flags | 0 |
| PARAM_VALUE | 1 | mem->map | 0-4 |
| PARAM_VALUE | 1 | mem->res | 5675518428650139648 |
| PARAM_VALUE | 1 | mem->speed | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sock->ops_mutex | ||
| HALF_LOCKED2 | &sock->skt_mutex |
drivers/pcmcia/rsrc_nonstatic.c checksum() -> (struct pccard_operations)->set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | sock->dev.kobj.parent->release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.kobj.parent->release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.parent->release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sock->dev.parent->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.parent->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.parent->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->init | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->set_socket | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->resource_ops->init | 7397773669395951616,9199677134415597568 |
| PARAM_VALUE | 0 | sock->resource_ops->validate_mem | 0,4334191706921844736 |
| PARAM_VALUE | 1 | mem | 5437843270791806976 |
| PARAM_VALUE | 1 | mem->card_start | 0 |
| PARAM_VALUE | 1 | mem->flags | 1 |
| PARAM_VALUE | 1 | mem->map | 0 |
| PARAM_VALUE | 1 | mem->res | 4096-ptr_max |
| PARAM_VALUE | 1 | mem->speed | 0 |
| BUF_SIZE | 0 | sock | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sock | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sock->dev.class | (-1),96 |
| BUF_SIZE | 0 | sock->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | sock->driver_data | (-1),2792 |
| BUF_SIZE | 0 | sock->ops | (-1),48 |
| BUF_SIZE | 0 | sock->resource_data | (-1),72 |
| DATA_SOURCE | 0 | sock | $0 |
| CONTAINER | 0 | -40-416+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sock->map_size | |
| LOCK2 | 0 | &sock->ops_mutex | |
| HALF_LOCKED2 | 0 | &sock->skt_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pcmcia/rsrc_nonstatic.c checksum() -> (struct pccard_operations)->set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | sock->dev.kobj.parent->release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.kobj.parent->release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.parent->release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sock->dev.parent->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.parent->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->dev.parent->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | sock->map_size | 0-s32max |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->init | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->set_socket | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->resource_ops->init | 7397773669395951616,9199677134415597568 |
| PARAM_VALUE | 0 | sock->resource_ops->validate_mem | 0,4334191706921844736 |
| PARAM_VALUE | 1 | mem | 5437843270791806976 |
| PARAM_VALUE | 1 | mem->card_start | 0 |
| PARAM_VALUE | 1 | mem->flags | 0 |
| PARAM_VALUE | 1 | mem->map | 0 |
| PARAM_VALUE | 1 | mem->res | 4096-ptr_max |
| PARAM_VALUE | 1 | mem->speed | 0 |
| BUF_SIZE | 0 | sock | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sock | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sock->dev.class | (-1),96 |
| BUF_SIZE | 0 | sock->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | sock->driver_data | (-1),2792 |
| BUF_SIZE | 0 | sock->ops | (-1),48 |
| BUF_SIZE | 0 | sock->resource_data | (-1),72 |
| CAPPED_DATA | 0 | sock->map_size | 1 |
| DATA_SOURCE | 0 | sock | $0 |
| CONTAINER | 0 | -40-416+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sock->map_size | |
| LOCK2 | 0 | &sock->ops_mutex | |
| HALF_LOCKED2 | 0 | &sock->skt_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pcmcia/cistpl.c release_cis_mem() -> (struct pccard_operations)->set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->callback->add | 5235430000054906880 |
| PARAM_VALUE | 0 | sock->callback->early_resume | 6956900869090054144 |
| PARAM_VALUE | 0 | sock->callback->owner | 0 |
| PARAM_VALUE | 0 | sock->callback->remove | 1719268733136482304 |
| PARAM_VALUE | 0 | sock->callback->requery | 4713442613417914368 |
| PARAM_VALUE | 0 | sock->callback->resume | 5068206944467017728 |
| PARAM_VALUE | 0 | sock->callback->suspend | 2738892915008757760 |
| PARAM_VALUE | 0 | sock->callback->validate | 4934365872137547776 |
| PARAM_VALUE | 0 | sock->cis_cache.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->cis_cache.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->cis_mem.flags | 0,2-254 |
| PARAM_VALUE | 0 | sock->dev.kobj->release.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | sock->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | sock->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | sock->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | sock->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->device_count | 0-1 |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sock->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sock->skt_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | sock->skt_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sock->skt_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sock->skt_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->skt_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->skt_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | mem | 4096-ptr_max |
| PARAM_VALUE | 1 | mem->flags | 0,2-254 |
| BUF_SIZE | 0 | sock | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sock | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &sock->ops_mutex | 1 |
| DATA_SOURCE | 0 | sock | $0 |
| CONTAINER | 0 | -40-416+0 | $(-1) |
| CONTAINER | 1 | -40-416+32 | $(-1) |
| BIT_INFO | 0 | sock->cis_mem.flags | 0x0,0xfe |
| NOCHECK_CALL | |||
| LOCK2 | &sp->mutex | ||
| LOCK2 | 0 | &sock->ops_mutex | |
| LOCK2 | 0 | &sock->skt_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex | ||
| TYPE_LOCK | (struct pcmcia_socket)->skt_mutex | ||
| TYPE_LOCK | (struct subsys_private)->mutex |
drivers/pcmcia/cistpl.c set_cis_map() -> (struct pccard_operations)->set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->callback->add | 5235430000054906880 |
| PARAM_VALUE | 0 | sock->callback->early_resume | 6956900869090054144 |
| PARAM_VALUE | 0 | sock->callback->owner | 0 |
| PARAM_VALUE | 0 | sock->callback->remove | 1719268733136482304 |
| PARAM_VALUE | 0 | sock->callback->requery | 4713442613417914368 |
| PARAM_VALUE | 0 | sock->callback->resume | 5068206944467017728 |
| PARAM_VALUE | 0 | sock->callback->suspend | 2738892915008757760 |
| PARAM_VALUE | 0 | sock->callback->validate | 4934365872137547776 |
| PARAM_VALUE | 0 | sock->cis_mem.flags | 1,3,33,35 |
| PARAM_VALUE | 0 | sock->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | sock->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | sock->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | sock->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sock->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->init | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->set_socket | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sock->resource_ops->find_mem | 0,6418009606414811136 |
| PARAM_VALUE | 0 | sock->resource_ops->init | 7397773669395951616,9199677134415597568 |
| PARAM_VALUE | 0 | sock->resource_ops->validate_mem | 0,4334191706921844736 |
| PARAM_VALUE | 1 | mem | 4096-ptr_max |
| PARAM_VALUE | 1 | mem->flags | 1,3,33,35 |
| BUF_SIZE | 0 | sock | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sock | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sock->dev.class | (-1),96 |
| BUF_SIZE | 0 | sock->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | sock->driver_data | (-1),2792 |
| BUF_SIZE | 0 | sock->ops | (-1),48 |
| BUF_SIZE | 0 | sock->resource_data | (-1),24,72 |
| BUF_SIZE | 1 | mem | 32 |
| BUF_SIZE | 1 | mem->res | (-1),64 |
| DATA_SOURCE | 0 | sock | $0 |
| STR_LEN | 0 | sock->cis_mem.res->name | (-1),15 |
| CONTAINER | 0 | -40-416+0 | $(-1) |
| CONTAINER | 1 | -40-416+32 | $(-1) |
| PARAM_COMPARE | 0 | &sock->cis_mem | == $1 |
| BIT_INFO | 1 | mem->flags | 0x1,0x3f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | sock->cis_mem.res->end | |
| NO_OVERFLOW_SIMPLE | 0 | sock->cis_mem.res->start | |
| NO_OVERFLOW_SIMPLE | 0 | sock->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | sock->map_size | |
| NO_OVERFLOW_SIMPLE | 1 | mem->card_start | |
| LOCK2 | 0 | &sock->ops_mutex | |
| HALF_LOCKED2 | 0 | &sock->skt_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pcmcia/pcmcia_resource.c pcmcia_map_mem_page() -> (struct pccard_operations)->set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | sock->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sock->win | 4096-ptr_max |
| PARAM_VALUE | 1 | mem | 4096-ptr_max |
| CAPPED_DATA | 0 | &sock->ops_mutex | 1 |
| CONTAINER | 0 | -40-416+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sock->ops_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pcmcia/pcmcia_resource.c pcmcia_release_window() -> (struct pccard_operations)->set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | sock->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sock->win | 4096-ptr_max |
| PARAM_VALUE | 1 | mem | 4096-ptr_max |
| PARAM_VALUE | 1 | mem->flags | 0,2-254 |
| CAPPED_DATA | 0 | &sock->ops_mutex | 1 |
| CONTAINER | 0 | -40-416+0 | $(-1) |
| BIT_INFO | 1 | mem->flags | 0x0,0xfe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &sock->ops_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pcmcia/pcmcia_resource.c pcmcia_request_window() -> (struct pccard_operations)->set_mem_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sock | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sock->ops_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | sock->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sock->ops_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sock->resource_ops->find_mem | 0,6418009606414811136 |
| PARAM_VALUE | 0 | sock->state | 8-u32max |
| PARAM_VALUE | 0 | sock->win | 4096-ptr_max |
| PARAM_VALUE | 1 | mem | 4096-ptr_max |
| PARAM_VALUE | 1 | mem->card_start | 0 |
| PARAM_VALUE | 1 | mem->flags | 0-99 |
| PARAM_VALUE | 1 | mem->map | 1-4 |
| BUF_SIZE | 1 | mem->res | (-1),64 |
| CAPPED_DATA | 0 | &sock->ops_mutex | 1 |
| FUZZY_MAX | 1 | mem->map | 4 |
| CONTAINER | 0 | -40-416+0 | $(-1) |
| BIT_INFO | 0 | sock->state | 0x8,0xffffffffffffffff |
| BIT_INFO | 1 | mem->flags | 0x0,0x63 |
| HARD_MAX | 1 | mem->map | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sock->ops_mutex | |
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |