Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/binder.c try_shrink_dmap() -> dbitmap_shrink()

Type Parameter Key Value
PARAM_VALUE 0 dmap 4096-ptr_max
PARAM_VALUE 0 dmap->nbits 65-u32max
PARAM_VALUE 1 new 0,16,4096-ptr_max
PARAM_VALUE 2 nbits 32-s32max
DATA_SOURCE 1 new r bitmap_zalloc
DATA_SOURCE 2 nbits r dbitmap_shrink_nbits
MEM_ZERO 1 new
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &proc->outer_lock
TYPE_LOCK (struct binder_proc)->outer_lock