Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/cpu.c cpuhp_complete_idle_dead() -> complete_ap_thread()

Type Parameter Key Value
PARAM_VALUE 1 bringup 0
DATA_SOURCE 0 st $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 st unit_byte
HALF_LOCKED2 flags

kernel/cpu.c cpuhp_online_idle() -> complete_ap_thread()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->state 143
PARAM_VALUE 1 bringup 1
NOCHECK_CALL

kernel/cpu.c cpuhp_thread_fun() -> complete_ap_thread()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->cb_state 0,84-141,143-s32max
PARAM_VALUE 0 st->should_run 0
NOCHECK_CALL