Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/thermal_of.c thermal_of_cm_lookup() -> thermal_of_get_cooling_spec()

Type Parameter Key Value
PARAM_VALUE 0 map_np 1-u64max
PARAM_VALUE 0 map_np->fwnode.ops->get 0,4096-ptr_max
PARAM_VALUE 1 index 0-s32max
PARAM_VALUE 2 cdev 4096-ptr_max
PARAM_VALUE 2 cdev->device.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 2 cdev->device.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 2 cdev->device.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 2 cdev->device.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 2 cdev->device.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 2 cdev->device.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 2 cdev->device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 2 cdev->device.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 2 cdev->device.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 2 cdev->device.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 3 c 5367196923212062720
PARAM_VALUE 3 c->lower u32max
PARAM_VALUE 3 c->upper u32max
PARAM_VALUE 3 c->weight 0
BUF_SIZE 2 cdev->devdata s32min-(-1),1-s32max
CAPPED_DATA 1 index 1
CAPPED_DATA 2 cdev 1
DATA_SOURCE 0 map_np r of_get_next_child
DATA_SOURCE 2 cdev $2
DATA_SOURCE 3 c $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &tz->lock
LOCK2 _T->lock
TYPE_LOCK (struct thermal_zone_device)->lock