Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/binder.c binder_cleanup_transaction() -> binder_send_failed_reply()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->buffer 4096-ptr_max
PARAM_VALUE 0 t->buffer->target_node 1-u64max
PARAM_VALUE 1 error_code 29189,29201
DATA_SOURCE 0 t $0
DATA_SOURCE 1 error_code $2
STR_LEN 0 t 13,15-16,19
STR_LEN 0 t 13,15-16,19
BIT_INFO 0 t->flags 0x0,0xfffffffe
HARD_MAX 1 error_code 29201
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/android/binder.c binder_thread_release() -> binder_send_failed_reply()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->to_thread 4096-ptr_max
PARAM_VALUE 1 error_code 29189
NOCHECK_CALL
LOCK2 &t->lock