Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/binder.c binder_put_node_cmd() -> binder_stat_br()

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 2148561415-2148561418
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
CAPPED_DATA 0 proc 1
DATA_SOURCE 0 proc $0
DATA_SOURCE 1 thread $1
DATA_SOURCE 2 cmd $6
STR_LEN 0 proc 10
STR_LEN 0 proc 10
BIT_INFO 1 thread->looper 0x0,0x7fffffef
HARD_MAX 2 cmd 2148561418
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
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
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
BIT_INFO 1 thread->looper 0x0,0x7fffffef
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 29190,29203-29204
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
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
FUZZY_MAX 2 cmd 29204
BIT_INFO 1 thread->looper 0x0,0x7fffffef
BIT_INFO 2 cmd 0x7200,0x7217
HARD_MAX 2 cmd 29204
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 2148037135-2148037136
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
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
FUZZY_MAX 2 cmd 2148037136
BIT_INFO 1 thread->looper 0x0,0x7fffffef
BIT_INFO 2 cmd 0x80087200,0x8008721f
HARD_MAX 2 cmd 2148037136
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 2148561429
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
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
BIT_INFO 1 thread->looper 0x0,0x7fffffef
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 2148037142
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
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
BIT_INFO 1 thread->looper 0x0,0x7fffffef
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 29201
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
CAPPED_DATA 0 proc 1
CAPPED_DATA 0 proc->alloc.vm_start 1
CAPPED_DATA 1 thread 1
CAPPED_DATA 1 &thread->todo 1
DATA_SOURCE 0 proc $0
DATA_SOURCE 1 thread $1
BIT_INFO 1 thread->looper 0x0,0x7fffffef
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 2151707138-2151707139,2152231426
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
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
FUZZY_MAX 2 cmd 2152231426
BIT_INFO 1 thread->looper 0x0,0x7fffffef
BIT_INFO 2 cmd 0x80407202,0x80487203
HARD_MAX 2 cmd 2152231426
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 2 cmd 29197
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
CAPPED_DATA 0 proc 1
CAPPED_DATA 0 proc->requested_threads_started 1
CAPPED_DATA 1 thread 1
CAPPED_DATA 1 &thread->proc->waiting_threads 1
CAPPED_DATA 1 &thread->todo 1
DATA_SOURCE 0 proc $0
DATA_SOURCE 1 thread $1
PARAM_COMPARE 0 proc->max_threads > $0->requested_threads_started
PARAM_COMPARE 1 &thread->proc->waiting_threads == $1->proc->waiting_threads.next
BIT_INFO 1 thread->looper 0x0,0x7fffffef
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 proc unit_byte