Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/binder.c binder_dec_node_nilocked() -> binder_dequeue_work_ilocked()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &node->lock
HALF_LOCKED2 &proc->outer_lock
TYPE_LOCK (struct binder_node)->lock

drivers/android/binder.c binder_dequeue_work() -> binder_dequeue_work_ilocked()

Type Parameter Key Value
PARAM_VALUE 0 work 1-u64max
DATA_SOURCE 0 work $1
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &proc->inner_lock
LOCK2 &proc->outer_lock
TYPE_LOCK (struct binder_proc)->inner_lock
TYPE_LOCK (struct binder_proc)->outer_lock

drivers/android/binder.c binder_freeze_notification_done() -> binder_dequeue_work_ilocked()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &proc->inner_lock
TYPE_LOCK (struct binder_proc)->inner_lock

drivers/android/binder.c binder_inc_node_nilocked() -> binder_dequeue_work_ilocked()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &node->lock
TYPE_LOCK (struct binder_node)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &node->lock
LOCK2 &proc->inner_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct binder_node)->lock
TYPE_LOCK (struct binder_proc)->inner_lock

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

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &proc->inner_lock
TYPE_LOCK (struct binder_proc)->inner_lock