Defined in 1 files as a function:

Referenced in 38 files:

Smatch caller information:

kernel/rcu/tree.c set_tsk_need_resched() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 4
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

mm/madvise.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &madv_behavior->mm->mmap_lock

net/dsa/dsa.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

arch/x86/kernel/fpu/core.c fpu_clone() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 19
CAPPED_DATA 0 tsk->mempolicy 1
CAPPED_DATA 0 tsk->real_cred 1
DATA_SOURCE 0 tsk $0
BIT_INFO 0 tsk->flags 0x40,0xffffffffffffffff
MEM_ZERO 0 tsk->perf_recursion
MEM_ZERO 0 tsk->thread.ptrace_bps
MEM_ZERO 0 &tsk->dl.dl_timer
MEM_ZERO 0 &tsk->dl.inactive_timer
MEM_ZERO 0 &tsk->ioac
MEM_ZERO 0 &tsk->irqtrace
MEM_ZERO 0 &tsk->pending.signal
MEM_ZERO 0 &tsk->posix_cputimers
MEM_ZERO 0 &tsk->sched_info
MEM_ZERO 0 &tsk->se.avg
MEM_ZERO 0 &tsk->stats
MEM_ZERO 0 &tsk->unwind_info
MEM_ZERO 0 &tsk->unwind_info.unwind_mask
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/entry/common.c rseq_exit_to_user_mode_restart() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

security/keys/request_key.c cache_requested_key() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 0
DATA_SOURCE 0 tsk r get_current
BIT_INFO 0 tsk->flags 0x0,0xffdfffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/switch.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex

drivers/infiniband/ulp/ipoib/ipoib_cm.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/kthread.c kthread_stop() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 2
CAPPED_DATA 0 tsk 1
DATA_SOURCE 0 tsk $0
NOCHECK_CALL

kernel/printk/printk_ringbuffer_kunit_test.c prbtest_wakeup_callback() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/bridge/br_sysfs_if.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/user-return-notifier.c user_return_notifier_register() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 7
PREEMPT_ADD
NOCHECK_CALL

drivers/thunderbolt/retimer.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex

kernel/rseq.c rseq_raise_notify_resume() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 11
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rseq.c set_tsk_need_resched() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 4
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/process.c propagate_user_return_notify() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 7
DATA_SOURCE 0 tsk $1
NOCHECK_CALL

arch/x86/kernel/process.c speculation_ctrl_update_tif() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 16
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
NOCHECK_CALL
HOST_DATA 0 tsk->thread.gsbase 0-u64max[c]

arch/x86/kernel/process.c speculation_ctrl_update_tif() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 17
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
NOCHECK_CALL
HOST_DATA 0 tsk->thread.gsbase 0-u64max[c]

arch/x86/kernel/process_64.c switch_fpu() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 19
DATA_SOURCE 0 tsk $0
BIT_INFO 0 tsk->flags 0x0,0xffdfbfff
NOCHECK_CALL

kernel/sched/build_policy.c set_tsk_need_resched() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 4
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

security/landlock/tsync.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
NOCHECK_CALL

net/ipv6/addrconf.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

kernel/sched/build_utility.c rseq_raise_notify_resume() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 11
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/infiniband/ulp/ipoib/ipoib_vlan.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/cgroup/cgroup-v1.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

drivers/base/core.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

block/blk-cgroup.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bdev->bd_queue->rq_qos_mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/signal.c calculate_sigpending() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq

kernel/signal.c recalc_sigpending_tsk() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 1
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sighand->siglock
HALF_LOCKED2 irq

kernel/signal.c signal_wake_up_state() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 1
BUF_SIZE 0 tsk (-1),1-s32max
BUF_SIZE 0 tsk (-1),1-s32max
BUF_SIZE 0 tsk->group_leader (-1),1-s32max
BUF_SIZE 0 tsk->mempolicy (-1),1-s32max
CAPPED_DATA 0 tsk 1
DATA_SOURCE 0 tsk $0
NOSPEC 0 tsk->thread.fsbase
NOSPEC 0 tsk->thread.gsbase
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tsk->exit_code 0-64
USER_DATA 0 tsk->exit_signal 1-64[c]
USER_DATA 0 tsk->ptrace 65537,65545-33619953[c]
USER_DATA 0 tsk->thread.fsbase 0-s32max[c]
USER_DATA 0 tsk->thread.gsbase 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 tsk->dl.pi_se->dl_runtime
UNITS 0 tsk unit_byte
HALF_LOCKED2 &_T->lock->alloc_lock
HALF_LOCKED2 &tsk->sighand->siglock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &freezer_lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &tsk->sighand->siglock

net/bridge/br_sysfs_br.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/events/uprobes.c uprobe_deny_signal() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 8
DATA_SOURCE 0 tsk r get_current
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/bonding/bond_options.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

arch/x86/kernel/step.c enable_single_step() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 25
DATA_SOURCE 0 tsk $0
NOCHECK_CALL

arch/x86/kernel/step.c enable_single_step() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 24
DATA_SOURCE 0 tsk $0
NOCHECK_CALL

arch/x86/kernel/step.c set_task_blockstep() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 26
DATA_SOURCE 0 tsk $0
RX_PATH
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/cpu/bugs.c task_update_spec_tif() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 23
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
NOCHECK_CALL

drivers/net/usb/qmi_wwan.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex

kernel/task_work.c task_work_add() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags
HALF_LOCKED2 rcu_read

fs/exec.c rseq_raise_notify_resume() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 11
DATA_SOURCE 0 tsk $0
NOCHECK_CALL

kernel/sched/core.c rseq_raise_notify_resume() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 11
CAPPED_DATA 0 tsk 1
CAPPED_DATA 0 tsk->mm 1
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 tsk unit_byte
LOCK2 irq

kernel/sched/core.c set_tsk_need_resched() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 4
CAPPED_DATA 0 tsk 1
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 tsk unit_byte
LOCK2 irq
HALF_LOCKED2 &mutex->wait_lock
HALF_LOCKED2 &p->blocked_lock

arch/x86/kernel/ioport.c io_bitmap_share() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 flag 22
CAPPED_DATA 0 tsk 1
CAPPED_DATA 0 tsk->mempolicy 1
CAPPED_DATA 0 tsk->real_cred 1
DATA_SOURCE 0 tsk $0
BIT_INFO 0 tsk->flags 0x40,0xffffffffffffffff
NOSPEC 0 tsk->thread.fsbase
NOSPEC 0 tsk->thread.gsbase
MEM_ZERO 0 tsk->perf_recursion
MEM_ZERO 0 tsk->thread.ptrace_bps
MEM_ZERO 0 &tsk->dl.dl_timer
MEM_ZERO 0 &tsk->dl.inactive_timer
MEM_ZERO 0 &tsk->ioac
MEM_ZERO 0 &tsk->irqtrace
MEM_ZERO 0 &tsk->pending.signal
MEM_ZERO 0 &tsk->posix_cputimers
MEM_ZERO 0 &tsk->sched_info
MEM_ZERO 0 &tsk->se.avg
MEM_ZERO 0 &tsk->stats
MEM_ZERO 0 &tsk->unwind_info
MEM_ZERO 0 &tsk->unwind_info.unwind_mask
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tsk->thread.fsbase 0-s32max[c]
USER_DATA 0 tsk->thread.gsbase 0-s32max[c]

arch/x86/kernel/ioport.c task_update_io_bitmap() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 22
DATA_SOURCE 0 tsk r get_current
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/devinet.c restart_syscall() -> set_tsk_thread_flag()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock