Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/hotplug/acpiphp_glue.c acpiphp_hotplug_notify() -> acpiphp_let_context_go()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->bridge 0,4096-ptr_max
PARAM_VALUE 0 context->bridge->pci_dev->dev.power.request 0-4
PARAM_VALUE 0 context->bridge->pci_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 context->bridge->pci_dev->dev.power.runtime_status 0,2
PARAM_VALUE 0 context->bridge->pci_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 context->func.parent->pci_dev->dev.power.request 0-4
PARAM_VALUE 0 context->func.parent->pci_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 context->func.parent->pci_dev->dev.power.runtime_status 0,2
PARAM_VALUE 0 context->func.parent->pci_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 context->func.slot->bus->children.prev->next 4096-ptr_max
PARAM_VALUE 0 context->func.slot->bus->children.prev->next->next 4096-ptr_max
PARAM_VALUE 0 context->hp.self 4096-ptr_max
DATA_SOURCE 0 context r acpiphp_grab_context
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &acpi_scan_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &device_hotplug_lock

drivers/pci/hotplug/acpiphp_glue.c acpiphp_post_dock_fixup() -> acpiphp_let_context_go()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->func.slot 4096-ptr_max
PARAM_VALUE 0 context->func.slot->bus 4096-ptr_max
PARAM_VALUE 0 context->func.slot->bus->self->error_state 0-2,4-u32max
DATA_SOURCE 0 context r acpiphp_grab_context
RX_PATH
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 global &acpi_scan_lock
LOCK2 global &device_hotplug_lock