Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/smpboot.c smpboot_create_threads() -> __smpboot_create_thread()

Type Parameter Key Value
PARAM_VALUE 0 ht 4096-ptr_max
CAPPED_DATA 0 &ht->list 1
DATA_SOURCE 1 cpu $0
STR_LEN 0 ht (-1),8-9,11-29,31-34,38
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smpboot_threads_lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

kernel/smpboot.c smpboot_register_percpu_thread() -> __smpboot_create_thread()

Type Parameter Key Value
PARAM_VALUE 0 ht 2028163836161171456,2217705263724908544,2692557656505810944,4756643538810691584,5078105929385340928,6496660866031681536,6543755296871264256
PARAM_VALUE 1 cpu 0-64
CAPPED_DATA 1 cpu 1
DATA_SOURCE 0 ht $0
DATA_SOURCE 1 cpu r find_next_bit
CONSTRAINT 1 cpu <3035
LOCK2 global &smpboot_threads_lock