Defined in 1 files as a prototype:
Defined in 3 files as a function:
- arch/arm64/kernel/smp.c, line 509 (as a function)
- arch/s390/kernel/smp.c, line 1093 (as a function)
- drivers/base/cpu.c, line 563 (as a function)
Referenced in 4 files:
- arch/s390/kernel/smp.c, line 732
- arch/x86/xen/enlighten.c, line 401
- drivers/acpi/acpi_processor.c, line 248
- drivers/base/cpu.c, line 588
Smatch caller information:
drivers/acpi/acpi_processor.c acpi_processor_hotadd_init() -> arch_register_cpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &cpu_add_remove_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &acpi_scan_lock |
drivers/base/cpu.c cpu_dev_register_generic() -> arch_register_cpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | r find_next_bit |
| CONSTRAINT | 0 | cpu | <3035 |
arch/x86/xen/enlighten.c xen_arch_register_cpu() -> arch_register_cpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-8192 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |