Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/base/cpu.c cpu_device_create() -> __cpu_device_create()

Type Parameter Key Value
PARAM_VALUE 1 drvdata 0,4096-ptr_max
PARAM_VALUE 2 groups 0,4096-ptr_max
PARAM_VALUE 3 fmt 6635405425222115328,8706544567658950656
PARAM_VALUE 4 *args 8706544567658950656,6635405425222115328
BUF_SIZE 2 groups (-1),16,24
BUF_SIZE 2 groups (-1),16,24
BUF_SIZE 3 fmt 6,9
BUF_SIZE 3 fmt 6,9
BUF_SIZE 4 args 8
BUF_SIZE 4 args 8
DATA_SOURCE 0 parent $0
DATA_SOURCE 1 drvdata $1
DATA_SOURCE 2 groups $2
DATA_SOURCE 3 fmt $3
STR_LEN 0 parent 5,8
STR_LEN 0 parent 5,8
PARAM_COMPARE 3 &fmt == $4
TERMINATED 3 fmt 1
TERMINATED 4 *args 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq