Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/nfit/core.c __acpi_nfit_scrub() -> ars_complete_all()

Type Parameter Key Value
PARAM_VALUE 0 acpi_desc 4096-ptr_max
PARAM_VALUE 0 acpi_desc->ars_status->address 0
PARAM_VALUE 0 acpi_desc->ars_status->flags 0
PARAM_VALUE 0 acpi_desc->ars_status->length 0
PARAM_VALUE 0 acpi_desc->ars_status->num_records 0
PARAM_VALUE 0 acpi_desc->ars_status->out_length 0
PARAM_VALUE 0 acpi_desc->ars_status->restart_address 0
PARAM_VALUE 0 acpi_desc->ars_status->restart_length 0
PARAM_VALUE 0 acpi_desc->ars_status->status 0
PARAM_VALUE 0 acpi_desc->ars_status->type 0
PARAM_VALUE 0 acpi_desc->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 acpi_desc->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 acpi_desc->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 acpi_desc->init_mutex.dep_map->name 0-255
PARAM_VALUE 0 acpi_desc->init_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 acpi_desc->init_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 acpi_desc->init_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 acpi_desc->init_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 acpi_desc->init_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 acpi_desc->init_mutex.wait_lock.owner_cpu u32max
DATA_SOURCE 0 acpi_desc $0
NOCHECK_CALL
LOCK2 0 &acpi_desc->init_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct acpi_nfit_desc)->init_mutex