Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/pcpu.c xen_sync_pcpus() -> sync_pcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| PARAM_VALUE | 1 | max_cpu | 868932986972315648 |
| PARAM_VALUE | 1 | *max_cpu | 0 |
| LOCK2 | global &xen_pcpu_lock |