Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/xen/cpu_hotplug.c disable_hotplug_cpu() -> xen_arch_unregister_cpu()

Type Parameter Key Value
PARAM_VALUE 0 num 0-8192
CAPPED_DATA 0 num 1
DATA_SOURCE 0 num $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
HALF_LOCKED2 global &xenwatch_mutex