Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/kthread.c kthread_bind() -> __kthread_bind()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 2 state 2
DATA_SOURCE 0 p $0
DATA_SOURCE 1 cpu $1
STR_LEN 0 p (-1),8-9,11-29,31-34,38
STR_LEN 0 p (-1),8-9,11-29,31-34,38
NOSPEC 1 cpu
NOSPEC 1 cpu
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 cpu 0-8192[c]
UNITS 1 cpu unit_byte

kernel/kthread.c kthread_unpark() -> __kthread_bind()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 2 state 64
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
UNITS 1 cpu unit_array_size
HALF_LOCKED2 &dev->mt76.mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &rcu_state.nocb_mutex
HALF_LOCKED2 global &smpboot_threads_lock
HALF_LOCKED2 global &sparse_irq_lock