Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/cpu.c cpu_bootable() -> cpu_smt_thread_allowed()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-s32max
DATA_SOURCE 0 cpu $0
STR_LEN 0 cpu (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpu_add_remove_lock
HALF_LOCKED2 global &sparse_irq_lock

kernel/cpu.c cpuhp_smt_disable() -> cpu_smt_thread_allowed()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu r find_next_bit
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &cpu_add_remove_lock
LOCK2 global &device_hotplug_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/cpu.c cpuhp_smt_enable() -> cpu_smt_thread_allowed()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu r find_next_bit
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &cpu_add_remove_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex