Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_memhotplug.c acpi_memory_device_add() -> acpi_memory_enable_device()

Type Parameter Key Value
PARAM_VALUE 0 mem_device 4096-ptr_max
PARAM_VALUE 0 mem_device->device 4096-ptr_max
PARAM_VALUE 0 mem_device->device->handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 mem_device->device->handle->common.descriptor_type 15
PARAM_VALUE 0 mem_device->device->handler 4096-ptr_max
PARAM_VALUE 0 mem_device->mgid (-1)
PARAM_VALUE 0 mem_device->res_list.next 4096-ptr_max
PARAM_VALUE 0 mem_device->res_list.next->next 4096-ptr_max
PARAM_VALUE 0 mem_device->res_list.prev 4096-ptr_max
PARAM_VALUE 0 mem_device->res_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mem_device->res_list.prev->prev 4096-ptr_max
BUF_SIZE 0 mem_device 32
DATA_SOURCE 0 mem_device r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock