Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/base/devres.c add_dr() -> devres_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | dev->dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | dev->dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | dev->dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | dev->dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | dev->dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | dev->dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | dev->dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | dev->dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | dev->dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | dev->dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | dev->dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->pins->p | 0-s64max |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | op | 3161849413643931648 |
| BUF_SIZE | 0 | dev | (-1)-0,24-s32max |
| BUF_SIZE | 0 | dev | (-1)-0,24-s32max |
| BUF_SIZE | 0 | dev->bus | (-1),168 |
| BUF_SIZE | 0 | dev->dma_parms | (-1),16 |
| BUF_SIZE | 0 | dev->driver | (-1),152 |
| BUF_SIZE | 0 | dev->groups | (-1),16 |
| BUF_SIZE | 0 | dev->iommu | (-1),192 |
| BUF_SIZE | 0 | dev->parent | (-1),1616 |
| BUF_SIZE | 0 | dev->platform_data | (-1),1-s32max |
| BUF_SIZE | 1 | node | (-1),96 |
| BUF_SIZE | 1 | node | (-1),96 |
| BUF_SIZE | 2 | op | 4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dev | (-1),2-27,30-32,36,63,255 |
| STR_LEN | 0 | dev | (-1),2-27,30-32,36,63,255 |
| STR_LEN | 0 | dev->parent | (-1) |
| STR_LEN | 1 | node | 3 |
| TERMINATED | 2 | op | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->flags | 4096-u32max |
| HOST_DATA | 0 | *dev->driver_data | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | dev->dma_io_tlb_mem->nslabs | |
| NO_OVERFLOW_SIMPLE | 0 | dev->p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | dev->power.wakeirq->irq | |
| UNITS | 0 | dev | unit_byte |
| LOCK2 | 0 | &dev->devres_lock | |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct device)->devres_lock |
drivers/base/devres.c devres_node_remove() -> devres_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 1 | node->entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | node->entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | op | 825139100947001344 |
| BUF_SIZE | 2 | op | 4 |
| CAPPED_DATA | 0 | &dev->devres_head | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dev | 3 |
| TERMINATED | 2 | op | 1 |
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &dev->devres_lock | |
| TYPE_LOCK | (struct device)->devres_lock |
drivers/base/devres.c devres_remove() -> devres_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | dev->dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | dev->dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | dev->dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | dev->dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | dev->dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | dev->dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | dev->dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | dev->dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | dev->dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | dev->dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | dev->dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | op | 825139100947001344 |
| BUF_SIZE | 0 | dev | (-1)-0,4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1)-0,4,16,24-s32max |
| BUF_SIZE | 0 | dev->groups | (-1),16 |
| BUF_SIZE | 2 | op | 4 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | (-1),3,9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| STR_LEN | 0 | dev | (-1),3,9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| STR_LEN | 1 | node | 3 |
| TERMINATED | 2 | op | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | dev->dma_io_tlb_mem->nslabs | |
| UNITS | 0 | dev | unit_byte |
| LOCK2 | irq | ||
| LOCK2 | 0 | &dev->devres_lock | |
| HALF_LOCKED2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct device)->devres_lock |
drivers/base/devres.c devres_remove_group() -> devres_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | op | 825139100947001344 |
| BUF_SIZE | 0 | dev | (-1),1616 |
| BUF_SIZE | 0 | dev | (-1),1616 |
| BUF_SIZE | 1 | node | 96 |
| BUF_SIZE | 2 | op | 4 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 3 |
| TERMINATED | 2 | op | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | 0 | &dev->devres_lock | |
| HALF_LOCKED2 | &port->dev.mutex | ||
| HALF_LOCKED2 | global &component_mutex | ||
| TYPE_LOCK | (struct device)->devres_lock |
drivers/base/devres.c release_nodes() -> devres_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | dev->dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | dev->dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | dev->dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | dev->dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | dev->dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | dev->dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | dev->dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | dev->dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | dev->dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | dev->dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | dev->dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | dev->dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | op | 2336694213703921664 |
| BUF_SIZE | 0 | dev | (-1)-0,4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1)-0,4,16,24-s32max |
| BUF_SIZE | 2 | op | 4 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 1 | &node->entry | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 3 |
| TERMINATED | 2 | op | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->flags | 4096-u32max |
| NO_OVERFLOW_SIMPLE | 0 | dev->physical_location | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/base/devres.c remove_action() -> devres_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | op | 825139100947001344 |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 2 | op | 4 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | (-1),3-7,10,28 |
| STR_LEN | 0 | dev | (-1),3-7,10,28 |
| STR_LEN | 1 | node | 3 |
| TERMINATED | 2 | op | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| LOCK2 | irq | ||
| LOCK2 | 0 | &dev->devres_lock | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | 0 | &dev->mutex | |
| TYPE_LOCK | (struct device)->devres_lock |
drivers/base/devres.c replace_dr() -> devres_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | op | 4115223410252865536 |
| BUF_SIZE | 0 | dev | (-1),1616 |
| BUF_SIZE | 0 | dev | (-1),1616 |
| BUF_SIZE | 2 | op | 8 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dev | 7 |
| TERMINATED | 2 | op | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | 0 | &dev->devres_lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct device)->devres_lock |