Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/base/node.c register_node() -> register_cpu_under_node()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
CAPPED_DATA 0 cpu 1
CAPPED_DATA 1 nid 1
DATA_SOURCE 0 cpu r find_next_bit
DATA_SOURCE 1 nid $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/base/cpu.c change_cpu_under_node() -> register_cpu_under_node()

Type Parameter Key Value
DATA_SOURCE 1 nid $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
HALF_LOCKED2 &device->physical_node_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &device_hotplug_lock
TYPE_LOCK (struct device)->mutex

drivers/base/cpu.c register_cpu() -> register_cpu_under_node()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-8192
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpu_add_remove_lock
HALF_LOCKED2 global &xenwatch_mutex