Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/android/binder.c binder_thread_read() -> binder_wait_for_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