Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/android/binder.c binder_find_outdated_transaction_ilocked() -> binder_can_update_transaction()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t1 | 4096-ptr_max |
| PARAM_VALUE | 1 | t2 | 4096-ptr_max |
| PARAM_VALUE | 1 | t2->buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | t2->buffer->target_node | 4096-ptr_max |
| PARAM_VALUE | 1 | t2->flags | 64-u32max |
| CAPPED_DATA | 1 | t2->flags | 1 |
| DATA_SOURCE | 1 | t2 | $0 |
| BIT_INFO | 1 | t2->flags | 0x41,0xffffffffffffffff |
| PREEMPT_ADD | |||
| LOCK2 | &node->lock | ||
| LOCK2 | &proc->inner_lock | ||
| TYPE_LOCK | (struct binder_node)->lock | ||
| TYPE_LOCK | (struct binder_proc)->inner_lock |