Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/android/binder.c binder_thread_read() -> binder_put_node_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | proc | 4096-ptr_max |
| PARAM_VALUE | 0 | proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->looper | 0-s32max |
| PARAM_VALUE | 1 | thread->proc | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread->todo.next | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->transaction_stack | 0 |
| PARAM_VALUE | 2 | ptrp | 3112434953527664640 |
| PARAM_VALUE | 6 | cmd | 2148561415 |
| PARAM_VALUE | 7 | cmd_name | 2388354927440859136 |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 7 | cmd_name | 11 |
| CAPPED_DATA | 0 | proc | 1 |
| CAPPED_DATA | 1 | thread | 1 |
| CAPPED_DATA | 1 | &thread->todo | 1 |
| DATA_SOURCE | 0 | proc | $0 |
| DATA_SOURCE | 1 | thread | $1 |
| STR_LEN | 0 | proc | 10 |
| BIT_INFO | 1 | thread->looper | 0x0,0x7fffffef |
| TERMINATED | 7 | cmd_name | 1 |
| TASK_NOT_RUNNING | |||
| UNITS | 0 | proc | unit_byte |
drivers/android/binder.c binder_thread_read() -> binder_put_node_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | proc | 4096-ptr_max |
| PARAM_VALUE | 0 | proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->looper | 0-s32max |
| PARAM_VALUE | 1 | thread->proc | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread->todo.next | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->transaction_stack | 0 |
| PARAM_VALUE | 2 | ptrp | 3112434953527664640 |
| PARAM_VALUE | 6 | cmd | 2148561416 |
| PARAM_VALUE | 7 | cmd_name | 8298045727539744768 |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 7 | cmd_name | 11 |
| CAPPED_DATA | 0 | proc | 1 |
| CAPPED_DATA | 1 | thread | 1 |
| CAPPED_DATA | 1 | &thread->todo | 1 |
| DATA_SOURCE | 0 | proc | $0 |
| DATA_SOURCE | 1 | thread | $1 |
| STR_LEN | 0 | proc | 10 |
| BIT_INFO | 1 | thread->looper | 0x0,0x7fffffef |
| TERMINATED | 7 | cmd_name | 1 |
| TASK_NOT_RUNNING | |||
| UNITS | 0 | proc | unit_byte |
drivers/android/binder.c binder_thread_read() -> binder_put_node_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | proc | 4096-ptr_max |
| PARAM_VALUE | 0 | proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->looper | 0-s32max |
| PARAM_VALUE | 1 | thread->proc | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread->todo.next | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->transaction_stack | 0 |
| PARAM_VALUE | 2 | ptrp | 3112434953527664640 |
| PARAM_VALUE | 6 | cmd | 2148561417 |
| PARAM_VALUE | 7 | cmd_name | 6795863819174645760 |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 7 | cmd_name | 11 |
| CAPPED_DATA | 0 | proc | 1 |
| CAPPED_DATA | 1 | thread | 1 |
| CAPPED_DATA | 1 | &thread->todo | 1 |
| DATA_SOURCE | 0 | proc | $0 |
| DATA_SOURCE | 1 | thread | $1 |
| STR_LEN | 0 | proc | 10 |
| BIT_INFO | 1 | thread->looper | 0x0,0x7fffffef |
| TERMINATED | 7 | cmd_name | 1 |
| TASK_NOT_RUNNING | |||
| UNITS | 0 | proc | unit_byte |
drivers/android/binder.c binder_thread_read() -> binder_put_node_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | proc | 4096-ptr_max |
| PARAM_VALUE | 0 | proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->looper | 0-s32max |
| PARAM_VALUE | 1 | thread->proc | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->proc->inner_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | thread->todo.next | 4096-ptr_max |
| PARAM_VALUE | 1 | thread->transaction_stack | 0 |
| PARAM_VALUE | 2 | ptrp | 3112434953527664640 |
| PARAM_VALUE | 6 | cmd | 2148561418 |
| PARAM_VALUE | 7 | cmd_name | 4628536679589568512 |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | proc | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 1 | thread | (-1),520 |
| BUF_SIZE | 7 | cmd_name | 11 |
| CAPPED_DATA | 0 | proc | 1 |
| CAPPED_DATA | 1 | thread | 1 |
| CAPPED_DATA | 1 | &thread->todo | 1 |
| DATA_SOURCE | 0 | proc | $0 |
| DATA_SOURCE | 1 | thread | $1 |
| STR_LEN | 0 | proc | 10 |
| BIT_INFO | 1 | thread->looper | 0x0,0x7fffffef |
| TERMINATED | 7 | cmd_name | 1 |
| TASK_NOT_RUNNING | |||
| UNITS | 0 | proc | unit_byte |