Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/exit.c do_exit() -> lockdep_free_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
CAPPED_DATA 0 task 1
CAPPED_DATA 0 task->cgroups 1
CAPPED_DATA 0 task->sched_class 1
CAPPED_DATA 0 task->signal 1
CAPPED_DATA 0 task->splice_pipe 1
DATA_SOURCE 0 task r get_current
PARAM_COMPARE 0 &task->sysvshm.shm_clist == $0->sysvshm.shm_clist.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 task->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 task->exit_code 0,256-65280[c]
USER_DATA 0 task->signal->group_exit_code 0,256-65280[c]
HALF_LOCKED2 global &system_transition_mutex