Open Menu /

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

arch/x86/xen/smp_pv.c xen_smp_count_cpus() -> set_nr_cpu_ids()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-8192
CAPPED_DATA 0 nr 1
CONSTRAINT 0 nr <3035
NOCHECK_CALL
LOCK2 irq

kernel/smp.c nrcpus() -> set_nr_cpu_ids()

Type Parameter Key Value
PARAM_VALUE 0 nr 1-8192
CAPPED_DATA 0 nr 1
NOCHECK_CALL
USER_DATA 0 nr 2-8192[c]
HALF_LOCKED2 irq

kernel/smp.c setup_nr_cpu_ids() -> set_nr_cpu_ids()

Type Parameter Key Value
PARAM_VALUE 0 nr 1-8193
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/cpu/topology.c check_for_real_bsp() -> set_nr_cpu_ids()

Type Parameter Key Value
PARAM_VALUE 0 nr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/topology.c topology_apply_cmdline_limits_early() -> set_nr_cpu_ids()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-8192
CAPPED_DATA 0 nr 1
CONSTRAINT 0 nr <3035
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/cpu/topology.c topology_init_possible_cpus() -> set_nr_cpu_ids()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-8193
CAPPED_DATA 0 nr 1
FUZZY_MAX 0 nr 1
NOCHECK_CALL
LOCK2 irq