Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/android/binder.c binder_enqueue_thread_work() -> binder_enqueue_thread_work_ilocked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | thread | 4096-ptr_max |
| PARAM_VALUE | 0 | thread->proc | 4096-ptr_max |
| PARAM_VALUE | 0 | thread->proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | thread->return_error.cmd | 2147774976 |
| PARAM_VALUE | 1 | work | 4096-ptr_max |
| BUF_SIZE | 0 | thread | (-1),520 |
| BUF_SIZE | 0 | thread | (-1),520 |
| DATA_SOURCE | 0 | thread | $0 |
| DATA_SOURCE | 1 | work | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &thread->proc->inner_lock | |
| TYPE_LOCK | (struct binder_proc)->inner_lock |
drivers/android/binder.c binder_proc_transaction() -> binder_enqueue_thread_work_ilocked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | thread | 4096-ptr_max |
| PARAM_VALUE | 1 | work | 4096-ptr_max |
| DATA_SOURCE | 0 | thread | $2 [m] |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &node->lock | ||
| LOCK2 | &proc->inner_lock | ||
| TYPE_LOCK | (struct binder_node)->lock | ||
| TYPE_LOCK | (struct binder_proc)->inner_lock |
drivers/android/binder.c binder_send_failed_reply() -> binder_enqueue_thread_work_ilocked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | thread | 4096-ptr_max |
| PARAM_VALUE | 0 | thread->proc | 4096-ptr_max |
| PARAM_VALUE | 0 | thread->proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | thread->reply_error.cmd | 29189,29201 |
| PARAM_VALUE | 1 | work | 4096-ptr_max |
| CAPPED_DATA | 0 | thread | 1 |
| DATA_SOURCE | 0 | thread | r binder_get_txn_from_and_acq_inner |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &t->lock |
drivers/android/binder.c binder_thread_write() -> binder_enqueue_thread_work_ilocked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | thread | 4096-ptr_max |
| PARAM_VALUE | 0 | thread->looper | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | thread->return_error.cmd | 29185 |
| PARAM_VALUE | 1 | work | 4096-ptr_max |
| PARAM_VALUE | 1 | work->entry.next | 4096-ptr_max |
| PARAM_VALUE | 1 | work->type | 9 |
| BUF_SIZE | 0 | thread | (-1),520 |
| BUF_SIZE | 0 | thread | (-1),520 |
| CAPPED_DATA | 0 | thread | 1 |
| DATA_SOURCE | 0 | thread | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &proc->inner_lock | ||
| LOCK2 | &proc->outer_lock | ||
| LOCK2 | &ref->node->lock | ||
| TYPE_LOCK | (struct binder_node)->lock | ||
| TYPE_LOCK | (struct binder_proc)->inner_lock | ||
| TYPE_LOCK | (struct binder_proc)->outer_lock |
drivers/android/binder.c binder_thread_write() -> binder_enqueue_thread_work_ilocked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | thread | 4096-ptr_max |
| PARAM_VALUE | 0 | thread->looper | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | thread->return_error.cmd | 29185 |
| PARAM_VALUE | 1 | work | 4096-ptr_max |
| PARAM_VALUE | 1 | work->entry.next | 4096-ptr_max |
| PARAM_VALUE | 1 | work->entry.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | work->type | 9 |
| BUF_SIZE | 0 | thread | (-1),520 |
| BUF_SIZE | 0 | thread | (-1),520 |
| CAPPED_DATA | 0 | thread | 1 |
| DATA_SOURCE | 0 | thread | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &proc->inner_lock | ||
| TYPE_LOCK | (struct binder_proc)->inner_lock |