Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/binder.c binder_add_freeze_work() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->dead_node->next->pprev 1-u64max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->nodes.rb_node 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->prev 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/android/binder.c binder_add_freeze_work() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->dead_node->next->pprev 1-u64max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->nodes.rb_node 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->prev 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 node unit_byte

drivers/android/binder.c binder_ioctl_get_node_info_for_ref() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc 0,4096-ptr_max
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 node r binder_get_node_from_ref
NOCHECK_CALL

drivers/android/binder.c binder_ioctl_set_ctx_mgr() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->has_strong_ref 1
PARAM_VALUE 0 node->has_weak_ref 1
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 node (-1),200
BUF_SIZE 0 node (-1),200
CAPPED_DATA 0 node 1
DATA_SOURCE 0 node r binder_new_node
NOCHECK_CALL
USER_DATA 0 node->accept_fds 0-1
USER_DATA 0 node->cookie 0-u64max
USER_DATA 0 node->min_priority 0-255[c]
USER_DATA 0 node->ptr 0-u64max
USER_DATA 0 node->txn_security_ctx 0-1
LOCK2 _T->lock

drivers/android/binder.c binder_node_release() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->dead_node->pprev 4096-ptr_max
PARAM_VALUE 0 node->dead_node.next 0,4096-ptr_max
PARAM_VALUE 0 node->dead_node.pprev 6988897593645690880
PARAM_VALUE 0 node->local_strong_refs 0
PARAM_VALUE 0 node->local_weak_refs 0
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc 0
PARAM_VALUE 0 node->rb_node.rb_left 0,4096-ptr_max
PARAM_VALUE 0 node->rb_node.rb_right 0,4096-ptr_max
PARAM_VALUE 0 node->tmp_refs s32min-(-1),1-s32max
PARAM_VALUE 0 node->work.entry.next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->prev 4096-ptr_max
DATA_SOURCE 0 node $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/android/binder.c binder_thread_write() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
CAPPED_DATA 0 node->ptr 1
DATA_SOURCE 0 node r binder_get_node
NOCHECK_CALL
USER_DATA 0 node->ptr 0-u64max[c]

drivers/android/binder.c binder_thread_write() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->pending_strong_ref 0
PARAM_VALUE 0 node->proc 0,4096-ptr_max
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 node->cookie 1
CAPPED_DATA 0 node->ptr 1
DATA_SOURCE 0 node r binder_get_node
NOCHECK_CALL
USER_DATA 0 node->ptr 0-u64max[c]

drivers/android/binder.c binder_thread_write() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->pending_weak_ref 0
PARAM_VALUE 0 node->proc 0,4096-ptr_max
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 node->cookie 1
CAPPED_DATA 0 node->ptr 1
DATA_SOURCE 0 node r binder_get_node
NOCHECK_CALL
USER_DATA 0 node->ptr 0-u64max[c]

drivers/android/binder.c binder_thread_write() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->pending_weak_ref 0
PARAM_VALUE 0 node->proc 0,4096-ptr_max
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 node->cookie 1
CAPPED_DATA 0 node->ptr 1
DATA_SOURCE 0 node r binder_get_node
NOCHECK_CALL
USER_DATA 0 node->ptr 0-u64max[c]

drivers/android/binder.c binder_transaction_buffer_release() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->dead_node->next->pprev 1-u64max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->nodes.rb_node 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->prev 4096-ptr_max
CAPPED_DATA 0 node 1
DATA_SOURCE 0 node r binder_get_node
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/android/binder.c binder_translate_binder() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
BUF_SIZE 0 node (-1),200
BUF_SIZE 0 node (-1),200
CAPPED_DATA 0 node 1
NOCHECK_CALL

drivers/android/binder.c binder_translate_handle() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc 0,4096-ptr_max
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 node 1
CAPPED_DATA 0 node->proc 1
DATA_SOURCE 0 node r binder_get_node_from_ref
NOCHECK_CALL

drivers/android/binder.c print_binder_proc() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->dead_node->next->pprev 1-u64max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->nodes.rb_node 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 node unit_byte
LOCK2 &m->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &binder_procs_lock
TYPE_LOCK (struct seq_file)->lock

drivers/android/binder.c print_binder_state() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->dead_node->next->pprev 1-u64max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->nodes.rb_node 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/android/binder.c print_next_binder_node_ilocked() -> binder_put_node()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->dead_node->next->pprev 1-u64max
PARAM_VALUE 0 node->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc 0,4096-ptr_max
PARAM_VALUE 0 node->proc->inner_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 node->proc->nodes.rb_node 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next 4096-ptr_max
PARAM_VALUE 0 node->proc->todo.prev->next->next 4096-ptr_max
PARAM_VALUE 0 node->refs.first 0,4096-ptr_max
PARAM_VALUE 0 node->tmp_refs 0-s32max
PARAM_VALUE 0 node->work.entry.next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 node->work.entry.prev->prev 4096-ptr_max
CAPPED_DATA 0 node 1
DATA_SOURCE 0 node $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 node unit_byte
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock