Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/of/fdt.c populate_node() -> populate_properties()

Type Parameter Key Value
PARAM_VALUE 0 blob 4096-ptr_max
PARAM_VALUE 1 offset 0-s32max
PARAM_VALUE 2 mem 4096-ptr_max
PARAM_VALUE 2 *mem 393-ptr_max
PARAM_VALUE 2 **mem (-4611686018427387904)-4611686018427387903
PARAM_VALUE 3 np 0,136-ptr_max
PARAM_VALUE 3 np->fwnode.ops->add_links 0,2137766029948579840,3703196837730562048,3934821749319077888
PARAM_VALUE 3 np->fwnode.ops->device_dma_supported 0,159059282158383104,7773361554369830912
PARAM_VALUE 3 np->fwnode.ops->device_get_dma_attr 0,4061285148595707904,8593122367395028992
PARAM_VALUE 3 np->fwnode.ops->device_get_match_data 0,1440499684429152256,5916794525232787456
PARAM_VALUE 3 np->fwnode.ops->device_is_available 0,4456967533150867456,5897185320164048896
PARAM_VALUE 3 np->fwnode.ops->get 0,5266873307488796672,8589707393086369792
PARAM_VALUE 3 np->fwnode.ops->get_name 0,433550195800080384,2643902724260417536,3993747778854088704,8229256471647956992
PARAM_VALUE 3 np->fwnode.ops->get_name_prefix 0,2826539692250562560,4627243436550131712,8224764746028371968
PARAM_VALUE 3 np->fwnode.ops->get_named_child_node 0,1384867268179189760,7026124439836295168,7805931012362555392
PARAM_VALUE 3 np->fwnode.ops->get_next_child_node 0,319059481504260096,366893379737247744,6091944964344102912
PARAM_VALUE 3 np->fwnode.ops->get_parent 0,1556958998965321728,4716372431902826496,5152293409219158016,6537691125444190208
PARAM_VALUE 3 np->fwnode.ops->get_reference_args 0,2035688989253132288,3281501320512299008,8341377935324684288
PARAM_VALUE 3 np->fwnode.ops->graph_get_next_endpoint 0,3294542772007194624,5000551940235595776,6689510623730753536
PARAM_VALUE 3 np->fwnode.ops->graph_get_port_parent 0,29829198195286016,5751880212744695808,7650526914231107584
PARAM_VALUE 3 np->fwnode.ops->graph_get_remote_endpoint 0,639053873764306944,971939158805200896,8581575686848176128
PARAM_VALUE 3 np->fwnode.ops->graph_parse_endpoint 0,162100920750850048,3588870114635677696,7927257539208077312
PARAM_VALUE 3 np->fwnode.ops->iomap 0,5992382552872980480
PARAM_VALUE 3 np->fwnode.ops->irq_get 0,4799135008179109888,6119964739367534592
PARAM_VALUE 3 np->fwnode.ops->property_present 0,958538007259615232,4433732290240286720,5083868193192632320
PARAM_VALUE 3 np->fwnode.ops->property_read_bool 0,707518234024075264,958538007259615232,5083868193192632320
PARAM_VALUE 3 np->fwnode.ops->property_read_int_array 0,1469634359062355968,2808264358850727936,4341866810135662592
PARAM_VALUE 3 np->fwnode.ops->property_read_string_array 0,1510856150501982208,2489081500743008256,4434990740429426688,6877800984586207232,7126052093758070784
PARAM_VALUE 3 np->fwnode.ops->put 0,7972878730091065344,8942618317634842624
PARAM_VALUE 4 nodename 1-u64max
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 blob $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 mem $2
DATA_SOURCE 3 np r unflatten_dt_alloc
DATA_SOURCE 4 nodename r fdt_get_name
DATA_SOURCE 5 dryrun $5
FUZZY_MAX 1 offset 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &of_fdt_unflatten_mutex
HALF_LOCKED2 irq

drivers/thunderbolt/xdomain.c tb_xdomain_get_properties() -> populate_properties()

Type Parameter Key Value
PARAM_VALUE 0 blob 4096-ptr_max
PARAM_VALUE 0 blob->lock.dep_map->name 0-255
PARAM_VALUE 0 blob->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 blob->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 blob->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 blob->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 blob->lock.wait_lock.owner (-1)
PARAM_VALUE 0 blob->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 blob->state 0-9
PARAM_VALUE 0 blob->tb 4096-ptr_max
PARAM_VALUE 0 blob->tb->ctl->frame_pool->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 blob->tb->ctl->frame_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 blob->tb->ctl->frame_pool->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 blob->tb->ctl->frame_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 blob->tb->ctl->request_queue_lock.dep_map->name 0-255
PARAM_VALUE 0 blob->tb->ctl->request_queue_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 blob->tb->ctl->request_queue_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 blob->tb->ctl->request_queue_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 blob->tb->ctl->request_queue_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 blob->tb->ctl->request_queue_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 blob->tb->ctl->request_queue_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 blob->tb->ctl->tx->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 offset 4096-ptr_max
BUF_SIZE 1 offset 24
CAPPED_DATA 0 &blob->lock 1
DATA_SOURCE 0 blob $0
DATA_SOURCE 1 offset r tb_property_parse_dir
LOCK2 0 &blob->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tb_xdomain)->lock