Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/execmem.c execmem_cache_free() -> __execmem_cache_free()

Type Parameter Key Value
PARAM_VALUE 0 mas 3004323513775128576
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,2-3
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 0 mas->tree 2921702223833034904
PARAM_VALUE 1 ptr 1-u64max
PARAM_VALUE 2 gfp_mask 68800
DATA_SOURCE 1 ptr r mas_walk
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

mm/execmem.c execmem_cache_free_slow() -> __execmem_cache_free()

Type Parameter Key Value
PARAM_VALUE 0 mas 630469614892552192
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->mas_flags 0,2-254
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,2-3
PARAM_VALUE 2 gfp_mask 3264
DATA_SOURCE 1 ptr r pending_free_clear
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock