Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/binder.c binder_poll() -> binder_has_work()

Type Parameter Key Value
PARAM_VALUE 0 thread 4096-ptr_max
PARAM_VALUE 0 thread->looper 0,32-s32max
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->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 thread->wait.head.next->prev 4096-ptr_max
PARAM_VALUE 0 thread->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 thread->wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 thread->wait.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 thread (-1),520
BUF_SIZE 0 thread (-1),520
CAPPED_DATA 0 thread 1
DATA_SOURCE 0 thread r binder_get_thread
DATA_SOURCE 1 do_proc_work r binder_available_for_proc_work_ilocked
BIT_INFO 0 thread->looper 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/android/binder.c binder_thread_read() -> binder_has_work()

Type Parameter Key Value
PARAM_VALUE 0 thread 4096-ptr_max
PARAM_VALUE 0 thread->looper 0,16-s32max
BUF_SIZE 0 thread (-1),520
BUF_SIZE 0 thread (-1),520
CAPPED_DATA 0 thread 1
CAPPED_DATA 0 &thread->todo 1
DATA_SOURCE 0 thread $1
DATA_SOURCE 1 do_proc_work r binder_available_for_proc_work_ilocked
BIT_INFO 0 thread->looper 0x10,0x7fffffff
TASK_NOT_RUNNING