Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/base/devres.c devm_krealloc() -> free_dr()

Type Parameter Key Value
PARAM_VALUE 0 dr 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next 1-u64max
PARAM_VALUE 0 dr->node.entry.next->next 1-u64max
PARAM_VALUE 0 dr->node.entry.prev 1-u64max
PARAM_VALUE 0 dr->node.entry.prev->next 1-u64max
PARAM_VALUE 0 dr->node.entry.prev->prev 1-u64max
PARAM_VALUE 0 dr->node.free_node 4212572619967070208
PARAM_VALUE 0 dr->node.name 6930449334497619968
PARAM_VALUE 0 dr->node.release 6741551599287091200
PARAM_VALUE 0 dr->node.size 1-u64max
PARAM_VALUE 0 dr->release 7804146150137774080
BUF_SIZE 0 dr s32min-s32max
DATA_SOURCE 0 dr r alloc_dr
STR_LEN 0 dr->node.name (-1)
TERMINATED 0 dr->node.name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dr->node.size
HALF_LOCKED2 _T->lock

drivers/base/devres.c devm_krealloc() -> free_dr()

Type Parameter Key Value
PARAM_VALUE 0 dr 4096-ptr_max
CAPPED_DATA 0 dr->release 1
DATA_SOURCE 0 dr r find_dr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/base/devres.c devres_free() -> free_dr()

Type Parameter Key Value
PARAM_VALUE 0 dr 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next 4096-ptr_max
CAPPED_DATA 0 &dr->node.entry 1
PARAM_COMPARE 0 &dr->node.entry == $0->node.entry.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &fw_lock
HALF_LOCKED2 global &phy_lock

drivers/gpu/drm/drm_managed.c drm_managed_release() -> free_dr()

Type Parameter Key Value
PARAM_VALUE 0 dr 4096-ptr_max
CAPPED_DATA 0 &dr->node.entry 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &component_mutex

drivers/gpu/drm/drm_managed.c drmm_kfree() -> free_dr()

Type Parameter Key Value
PARAM_VALUE 0 dr 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.prev 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.prev->prev 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vgdev->display_info_lock
HALF_LOCKED2 &xdna->dev_lock

drivers/gpu/drm/drm_managed.c drmm_release_action() -> free_dr()

Type Parameter Key Value
PARAM_VALUE 0 dr 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.prev 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dr->node.entry.prev->prev 4096-ptr_max
NOCHECK_CALL