Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/binder.c binder_new_node() -> binder_init_node_ilocked()

Type Parameter Key Value
PARAM_VALUE 0 proc 4096-ptr_max
PARAM_VALUE 0 proc->inner_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 new_node 4096-ptr_max
PARAM_VALUE 2 fp 0,4096-ptr_max
BUF_SIZE 0 proc s32min-(-1),1-s32max
BUF_SIZE 0 proc s32min-(-1),1-s32max
BUF_SIZE 1 new_node 200
DATA_SOURCE 0 proc $0
DATA_SOURCE 1 new_node r _kzalloc_noprof
DATA_SOURCE 2 fp $1
PREEMPT_ADD <- disables preempt
USER_DATA 2 fp->binder 0-u64max
USER_DATA 2 fp->cookie 0-u64max
USER_DATA 2 fp->flags 0-u32max
USER_DATA 2 fp->handle 0-u32max
USER_DATA 2 fp->hdr.type 0-u32max
UNITS 0 proc unit_byte
LOCK2 0 &proc->inner_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct binder_proc)->inner_lock