Defined in 2 files as a function:

Referenced in 17 files:

Smatch caller information:

arch/x86/kernel/apic/apic_common.c default_cpu_present_to_apicid() -> cpu_present()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-8192
CAPPED_DATA 0 cpu 1
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 &cpuhp_state_mutex
HALF_LOCKED2 irq

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

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

drivers/xen/cpu_hotplug.c enable_hotplug_cpu() -> cpu_present()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-8192
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
TASK_NOT_RUNNING
LOCK2 global &xenwatch_mutex

kernel/sched/build_policy.c cpudl_clear() -> cpu_present()

Type Parameter Key Value
DATA_SOURCE 0 cpu $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq

kernel/sched/build_policy.c cpudl_find() -> cpu_present()

Type Parameter Key Value
DATA_SOURCE 0 cpu r cpudl_maximum
RX_PATH
TASK_NOT_RUNNING

kernel/sched/build_policy.c cpudl_set() -> cpu_present()

Type Parameter Key Value
DATA_SOURCE 0 cpu $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq

kernel/cpu.c _cpu_down() -> cpu_present()

Type Parameter Key Value
DATA_SOURCE 0 cpu $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &cpu_add_remove_lock
HALF_LOCKED2 global &system_transition_mutex

kernel/cpu.c _cpu_up() -> cpu_present()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-s32max
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &cpu_add_remove_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex

drivers/cpufreq/qoriq-cpufreq.c cpu_to_clk() -> cpu_present()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &policy->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem

drivers/scsi/lpfc/lpfc_attr.c lpfc_fcp_cpu_map_show() -> cpu_present()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-65534
CAPPED_DATA 0 cpu 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 cpu unit_array_size
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

arch/x86/xen/apic.c xen_cpu_present_to_apicid() -> cpu_present()

Type Parameter Key Value
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 &cpuhp_state_mutex
HALF_LOCKED2 irq