Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p r kthread_create_on_node
DATA_SOURCE 1 cpu $2
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &test->data.start
HALF_LOCKED2 global &boost_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rdtgroup_mutex
HALF_LOCKED2 global &smpboot_threads_lock

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 1 cpu $0
STR_LEN 0 p (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/cpumap.c __cpu_map_entry_alloc() -> kthread_bind()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 cpu 0-8192
CAPPED_DATA 1 cpu 1
DATA_SOURCE 0 p r kthread_create_on_node
DATA_SOURCE 1 cpu $2
CONSTRAINT 1 cpu <3035
NOSPEC 1 cpu
NOCHECK_CALL
USER_DATA 1 cpu 0-8192[c]
UNITS 1 cpu unit_byte

lib/test_workqueue.c run_bench() -> kthread_bind()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 cpu 0-64
CAPPED_DATA 1 cpu 1
DATA_SOURCE 1 cpu r find_next_bit
NOCHECK_CALL