Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/of/dynamic.c of_changeset_add_prop_bool() -> of_changeset_add_prop_helper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ocs | 4096-ptr_max |
| PARAM_VALUE | 0 | ocs->entries.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np | 4096-ptr_max |
| PARAM_VALUE | 1 | np->full_name | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.dev | 0 |
| PARAM_VALUE | 1 | np->fwnode.flags | 0 |
| PARAM_VALUE | 1 | np->fwnode.ops | 6563876433798148096 |
| PARAM_VALUE | 1 | np->fwnode.ops->add_links | 3934821749319077888 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_dma_supported | 7773361554369830912 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_dma_attr | 8593122367395028992 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_match_data | 1440499684429152256 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_is_available | 5897185320164048896 |
| PARAM_VALUE | 1 | np->fwnode.ops->get | 0,5266873307488796672,8589707393086369792 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name | 433550195800080384 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name_prefix | 2826539692250562560 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_named_child_node | 7805931012362555392 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_next_child_node | 319059481504260096 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_parent | 1556958998965321728 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_reference_args | 2035688989253132288 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_next_endpoint | 6689510623730753536 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_port_parent | 5751880212744695808 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_remote_endpoint | 8581575686848176128 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_parse_endpoint | 162100920750850048 |
| PARAM_VALUE | 1 | np->fwnode.ops->iomap | 5992382552872980480 |
| PARAM_VALUE | 1 | np->fwnode.ops->irq_get | 6119964739367534592 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_present | 4433732290240286720 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_bool | 707518234024075264 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_int_array | 1469634359062355968 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_string_array | 7126052093758070784 |
| PARAM_VALUE | 1 | np->fwnode.ops->put | 8942618317634842624 |
| PARAM_VALUE | 1 | np->fwnode.secondary | 0 |
| PARAM_VALUE | 1 | np->fwnode.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->kobj.ktype | 1276568355318087680 |
| PARAM_VALUE | 1 | np->kobj.ktype->child_ns_type | 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160 |
| PARAM_VALUE | 1 | np->kobj.ktype->get_ownership | 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856 |
| PARAM_VALUE | 1 | np->kobj.ktype->namespace | 0,4096-ptr_max |
| PARAM_VALUE | 1 | np->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 1 | np->kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 1 | np->kobj.state_initialized | 1 |
| PARAM_VALUE | 1 | np->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 1 | np->parent | 1-u64max |
| PARAM_VALUE | 2 | pp | 692278052011937792 |
| PARAM_VALUE | 2 | pp->length | 0 |
| PARAM_VALUE | 2 | pp->name | 1059766836298309632,7509886729135140864 |
| PARAM_VALUE | 2 | pp->value | 0 |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np->parent | (-1)-0,392 |
| DATA_SOURCE | 0 | ocs | $0 |
| DATA_SOURCE | 1 | np | $1 |
| STR_LEN | 0 | ocs | 9,20 |
| STR_LEN | 0 | ocs | 9,20 |
| TERMINATED | 2 | pp->name | 1 |
| MEM_ZERO | 0 | ocs | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/of/dynamic.c of_changeset_add_prop_string() -> of_changeset_add_prop_helper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ocs | 4096-ptr_max |
| PARAM_VALUE | 0 | ocs->entries.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np | 0,4096-ptr_max |
| PARAM_VALUE | 1 | np->full_name | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.dev | 0 |
| PARAM_VALUE | 1 | np->fwnode.flags | 0 |
| PARAM_VALUE | 1 | np->fwnode.ops | 6563876433798148096 |
| PARAM_VALUE | 1 | np->fwnode.ops->add_links | 3934821749319077888 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_dma_supported | 7773361554369830912 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_dma_attr | 8593122367395028992 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_match_data | 1440499684429152256 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_is_available | 5897185320164048896 |
| PARAM_VALUE | 1 | np->fwnode.ops->get | 0,5266873307488796672,8589707393086369792 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name | 433550195800080384 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name_prefix | 2826539692250562560 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_named_child_node | 7805931012362555392 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_next_child_node | 319059481504260096 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_parent | 1556958998965321728 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_reference_args | 2035688989253132288 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_next_endpoint | 6689510623730753536 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_port_parent | 5751880212744695808 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_remote_endpoint | 8581575686848176128 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_parse_endpoint | 162100920750850048 |
| PARAM_VALUE | 1 | np->fwnode.ops->iomap | 5992382552872980480 |
| PARAM_VALUE | 1 | np->fwnode.ops->irq_get | 6119964739367534592 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_present | 4433732290240286720 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_bool | 707518234024075264 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_int_array | 1469634359062355968 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_string_array | 7126052093758070784 |
| PARAM_VALUE | 1 | np->fwnode.ops->put | 8942618317634842624 |
| PARAM_VALUE | 1 | np->fwnode.secondary | 0 |
| PARAM_VALUE | 1 | np->fwnode.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->kobj.ktype | 1276568355318087680 |
| PARAM_VALUE | 1 | np->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 1 | np->kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 1 | np->kobj.state_initialized | 1 |
| PARAM_VALUE | 1 | np->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 2 | pp | 2915835558035906560 |
| PARAM_VALUE | 2 | pp->name | 4525827905242320896,6590557844347023360,7923835490030014464,8807734459309694976 |
| BUF_SIZE | 0 | ocs | (-1),16 |
| BUF_SIZE | 0 | ocs | (-1),16 |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np->parent | (-1)-0,392 |
| DATA_SOURCE | 0 | ocs | $0 |
| DATA_SOURCE | 1 | np | $1 |
| STR_LEN | 0 | ocs | 8,10-11 |
| STR_LEN | 0 | ocs | 8,10-11 |
| STR_LEN | 1 | np | (-1),3-5 |
| STR_LEN | 1 | np | (-1),3-5 |
| TERMINATED | 2 | pp->name | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock |
drivers/of/dynamic.c of_changeset_add_prop_string_array() -> of_changeset_add_prop_helper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ocs | 4096-ptr_max |
| PARAM_VALUE | 0 | ocs->entries.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np | 0,4096-ptr_max |
| PARAM_VALUE | 1 | np->full_name | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.dev | 0 |
| PARAM_VALUE | 1 | np->fwnode.flags | 0 |
| PARAM_VALUE | 1 | np->fwnode.ops | 6563876433798148096 |
| PARAM_VALUE | 1 | np->fwnode.ops->add_links | 3934821749319077888 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_dma_supported | 7773361554369830912 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_dma_attr | 8593122367395028992 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_match_data | 1440499684429152256 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_is_available | 5897185320164048896 |
| PARAM_VALUE | 1 | np->fwnode.ops->get | 0,5266873307488796672,8589707393086369792 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name | 433550195800080384 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name_prefix | 2826539692250562560 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_named_child_node | 7805931012362555392 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_next_child_node | 319059481504260096 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_parent | 1556958998965321728 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_reference_args | 2035688989253132288 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_next_endpoint | 6689510623730753536 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_port_parent | 5751880212744695808 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_remote_endpoint | 8581575686848176128 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_parse_endpoint | 162100920750850048 |
| PARAM_VALUE | 1 | np->fwnode.ops->iomap | 5992382552872980480 |
| PARAM_VALUE | 1 | np->fwnode.ops->irq_get | 6119964739367534592 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_present | 4433732290240286720 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_bool | 707518234024075264 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_int_array | 1469634359062355968 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_string_array | 7126052093758070784 |
| PARAM_VALUE | 1 | np->fwnode.ops->put | 8942618317634842624 |
| PARAM_VALUE | 1 | np->fwnode.secondary | 0 |
| PARAM_VALUE | 1 | np->fwnode.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->kobj.ktype | 1276568355318087680 |
| PARAM_VALUE | 1 | np->kobj.ktype->child_ns_type | 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160 |
| PARAM_VALUE | 1 | np->kobj.ktype->get_ownership | 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856 |
| PARAM_VALUE | 1 | np->kobj.ktype->namespace | 0,4096-ptr_max |
| PARAM_VALUE | 1 | np->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 1 | np->kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 1 | np->kobj.state_initialized | 1 |
| PARAM_VALUE | 1 | np->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 1 | np->parent | 1-u64max |
| PARAM_VALUE | 2 | pp | 6319341113489215488 |
| PARAM_VALUE | 2 | pp->length | 0-4000000 |
| PARAM_VALUE | 2 | pp->name | 1895033757499691008,4525827905242320896,6205071866173534208 |
| PARAM_VALUE | 2 | pp->value | 16,4096-ptr_max |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np->parent | (-1)-0,392 |
| DATA_SOURCE | 0 | ocs | $0 |
| DATA_SOURCE | 1 | np | $1 |
| STR_LEN | 0 | ocs | 10,14,17 |
| STR_LEN | 0 | ocs | 10,14,17 |
| TERMINATED | 2 | pp->name | 1 |
| MEM_ZERO | 0 | ocs | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/of/dynamic.c of_changeset_add_prop_u32_array() -> of_changeset_add_prop_helper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ocs | 4096-ptr_max |
| PARAM_VALUE | 0 | ocs->entries.next | 4096-ptr_max |
| PARAM_VALUE | 1 | np | 0,4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.ops->add_links | 3934821749319077888 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_dma_supported | 7773361554369830912 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_dma_attr | 8593122367395028992 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_get_match_data | 1440499684429152256 |
| PARAM_VALUE | 1 | np->fwnode.ops->device_is_available | 5897185320164048896 |
| PARAM_VALUE | 1 | np->fwnode.ops->get | 0,5266873307488796672,8589707393086369792 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name | 433550195800080384 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_name_prefix | 2826539692250562560 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_named_child_node | 7805931012362555392 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_next_child_node | 319059481504260096 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_parent | 1556958998965321728 |
| PARAM_VALUE | 1 | np->fwnode.ops->get_reference_args | 2035688989253132288 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_next_endpoint | 6689510623730753536 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_port_parent | 5751880212744695808 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_get_remote_endpoint | 8581575686848176128 |
| PARAM_VALUE | 1 | np->fwnode.ops->graph_parse_endpoint | 162100920750850048 |
| PARAM_VALUE | 1 | np->fwnode.ops->iomap | 5992382552872980480 |
| PARAM_VALUE | 1 | np->fwnode.ops->irq_get | 6119964739367534592 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_present | 4433732290240286720 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_bool | 707518234024075264 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_int_array | 1469634359062355968 |
| PARAM_VALUE | 1 | np->fwnode.ops->property_read_string_array | 7126052093758070784 |
| PARAM_VALUE | 1 | np->fwnode.ops->put | 8942618317634842624 |
| PARAM_VALUE | 1 | np->fwnode.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | np->fwnode.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | np->kobj.ktype->child_ns_type | 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160 |
| PARAM_VALUE | 1 | np->kobj.ktype->get_ownership | 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856 |
| PARAM_VALUE | 1 | np->kobj.ktype->namespace | 0,4096-ptr_max |
| PARAM_VALUE | 2 | pp | 8518696756866719744 |
| PARAM_VALUE | 2 | pp->name | 4096-ptr_max |
| PARAM_VALUE | 2 | pp->value | 16,4096-ptr_max |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np | (-1),392 |
| BUF_SIZE | 1 | np->parent | (-1)-0,392 |
| DATA_SOURCE | 0 | ocs | $0 |
| DATA_SOURCE | 1 | np | $1 |
| STR_LEN | 0 | ocs | 3,6,8-11,13-14,16,18 |
| STR_LEN | 0 | ocs | 3,6,8-11,13-14,16,18 |
| TERMINATED | 2 | pp->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |