Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/exit.c release_task() -> free_pids()

Type Parameter Key Value
BUF_SIZE 0 pids 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/sys.c __do_sys_setpgid() -> free_pids()

Type Parameter Key Value
PARAM_VALUE 0 pids 4096-ptr_max
BUF_SIZE 0 pids 32
NOCHECK_CALL

kernel/sys.c __do_sys_setpgid() -> free_pids()

Type Parameter Key Value
PARAM_VALUE 0 pids 4096-ptr_max
BUF_SIZE 0 pids 32
NOCHECK_CALL

kernel/sys.c ksys_setsid() -> free_pids()

Type Parameter Key Value
PARAM_VALUE 0 pids 4096-ptr_max
BUF_SIZE 0 pids 32
NOCHECK_CALL