Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/zram/zcomp.c zcomp_cpu_dead() -> zcomp_strm_free()

Type Parameter Key Value
PARAM_VALUE 0 comp 4096-ptr_max
PARAM_VALUE 1 zstrm->lock.dep_map->name 0-255
PARAM_VALUE 1 zstrm->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 zstrm->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 zstrm->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 zstrm->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 zstrm->lock.wait_lock.owner (-1)
PARAM_VALUE 1 zstrm->lock.wait_lock.owner_cpu u32max
CAPPED_DATA 1 &zstrm->lock 1
NOCHECK_CALL
LOCK2 1 &zstrm->lock
TYPE_LOCK (struct zcomp_strm)->lock

drivers/block/zram/zcomp.c zcomp_strm_init() -> zcomp_strm_free()

Type Parameter Key Value
PARAM_VALUE 0 comp 4096-ptr_max
PARAM_VALUE 0 comp->ops 4096-ptr_max
PARAM_VALUE 0 comp->params->dict_sz 0-s32max
PARAM_VALUE 1 zstrm 4096-ptr_max
PARAM_VALUE 1 zstrm->ctx.context 4096-ptr_max
BUF_SIZE 1 zstrm->buffer 8192
BUF_SIZE 1 zstrm->local_copy 4096
DATA_SOURCE 0 comp $0
DATA_SOURCE 1 zstrm $1
NOCHECK_CALL