Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/zsmalloc.c zs_free() -> cache_free_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-18446744073709547520
DATA_SOURCE 0 handle $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

mm/zsmalloc.c zs_malloc() -> cache_free_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle r cache_alloc_handle
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &acomp_ctx->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock