Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/file_ops.c deallocate_ctxt() -> aspm_enable_all()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
CAPPED_DATA 0 dd->num_user_contexts 1
PARAM_COMPARE 0 dd->freectxts == $0->num_user_contexts
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/aspm.c aspm_init() -> aspm_enable_all()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->aspm_enabled 0
PARAM_VALUE 0 dd->aspm_supported 0
PARAM_VALUE 0 dd->pcidev 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->bus 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->bus->self->pcie_cap 0-1
PARAM_VALUE 0 dd->pcidev->bus->self->pcie_cap_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dd->pcidev->error_state 0-2,4-u32max
PARAM_VALUE 0 dd->pcidev->pcie_cap 0-1
PARAM_VALUE 0 dd->pcidev->pcie_cap_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 dd->first_dyn_alloc_ctxt 1
DATA_SOURCE 0 dd $0
NOCHECK_CALL