Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/debugobjects.c debug_object_free() -> free_object()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->node->next->pprev 1-u64max
PARAM_VALUE 0 obj->state 0-2,4-u32max
CAPPED_DATA 0 obj->object 1
DATA_SOURCE 0 obj r lookup_object
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq

lib/debugobjects.c put_objects() -> free_object()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->node->next->pprev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

Smatch assignments to (struct assoc_array_ops)->free_object:

security/keys/keyring.c (null)() -> (struct assoc_array_ops)->free_object [2878965618283290624]