Defined in 1 files as a variable:

Defined in 2 files as a prototype:

Defined in 3 files as a function:

Defined in 1 files as a externvar:

Referenced in 15 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 code 0,256-65280
BIT_INFO 0 code 0x0,0xff00
NOCHECK_CALL
USER_DATA 0 code 0,256-65280[c]

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

Type Parameter Key Value
PARAM_VALUE 0 code 0,256-65280
BIT_INFO 0 code 0x0,0xff00
NOCHECK_CALL
USER_DATA 0 code 0,256-65280[c]

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

Type Parameter Key Value
DATA_SOURCE 0 code $0 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 code 0,256-65280[c]

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

Type Parameter Key Value
DATA_SOURCE 0 code $0
NOCHECK_CALL

lib/kunit/try-catch.c kunit_try_catch_throw() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NOCHECK_CALL

kernel/kthread.c kthread() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code (-4)
NOCHECK_CALL

kernel/kthread.c kthread() -> do_exit()

Type Parameter Key Value
NOCHECK_CALL

kernel/kthread.c kthread_complete_and_exit() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code s32min-0
DATA_SOURCE 0 code $1
RX_PATH
NOCHECK_CALL

io_uring/sqpoll.c io_sq_thread() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NOCHECK_CALL

kernel/vhost_task.c vhost_task_fn() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NOCHECK_CALL

fs/nfsd/nfssvc.c svc_thread_init_status() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 1
NOCHECK_CALL

io_uring/io-wq.c io_worker_exit() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NOCHECK_CALL

kernel/pid_namespace.c reboot_pid_ns() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NS_CAPABLE 0 22
NOCHECK_CALL

kernel/reboot.c __do_sys_reboot() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NS_CAPABLE 0 22
NOCHECK_CALL
LOCK2 global &system_transition_mutex

kernel/reboot.c __do_sys_reboot() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NS_CAPABLE 0 22
NOCHECK_CALL
LOCK2 global &system_transition_mutex

fs/lockd/svc.c svc_thread_init_status() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 1
NOCHECK_CALL

fs/nfs/callback.c svc_thread_init_status() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 1
NOCHECK_CALL

kernel/umh.c call_usermodehelper_exec_async() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
NOCHECK_CALL

kernel/module/main.c __module_put_and_kthread_exit() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 0
DATA_SOURCE 0 code $1
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/seccomp.c __seccomp_filter() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 31
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/seccomp.c __seccomp_permit_syscall() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 9
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/seccomp.c __secure_computing_strict() -> do_exit()

Type Parameter Key Value
PARAM_VALUE 0 code 9
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL