Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/pcpu.c create_and_register_pcpu() -> register_pcpu()

Type Parameter Key Value
PARAM_VALUE 0 pcpu 4096-ptr_max
PARAM_VALUE 0 pcpu->acpi_id 0
PARAM_VALUE 0 pcpu->cpu_id 0
PARAM_VALUE 0 pcpu->flags 0
PARAM_VALUE 0 pcpu->list.next 4096-ptr_max
PARAM_VALUE 0 pcpu->list.next->next 4096-ptr_max
PARAM_VALUE 0 pcpu->list.prev 4096-ptr_max
PARAM_VALUE 0 pcpu->list.prev->next 4096-ptr_max
PARAM_VALUE 0 pcpu->list.prev->prev 4096-ptr_max
BUF_SIZE 0 pcpu 1648
DATA_SOURCE 0 pcpu r _kzalloc_noprof
LOCK2 global &xen_pcpu_lock