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 allocate_ctxt() -> aspm_disable_all()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->freectxts 1-u32max
PARAM_VALUE 0 dd->num_send_contexts 1-u32max
PARAM_VALUE 0 dd->num_user_contexts 1-u32max
PARAM_VALUE 0 dd->pport 4096-ptr_max
PARAM_VALUE 0 dd->pport->dd 4096-ptr_max
PARAM_VALUE 0 dd->pport->dd->num_rcv_contexts 1-u32max
PARAM_VALUE 0 dd->pport->dd->uctxt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dd->sc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dd->send_contexts 4096-ptr_max
PARAM_VALUE 0 *dd->hw_to_sw 0
PARAM_VALUE 0 *dd->pport->dd->rcd 4096-ptr_max
CAPPED_DATA 0 dd->num_send_contexts 1
CAPPED_DATA 0 dd->num_user_contexts 1
CAPPED_DATA 0 dd->pport->dd->first_dyn_alloc_ctxt 1
CAPPED_DATA 0 dd->pport->dd->num_rcv_contexts 1
CAPPED_DATA 0 dd->pport->dd->rcv_entries.nctxt_extra 1
DATA_SOURCE 0 dd $1
BIT_INFO 0 dd->flags 0x0,0xfffb
NOCHECK_CALL
LOCK2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/aspm.c aspm_exit() -> aspm_disable_all()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->flags 256-u16max
PARAM_VALUE 0 dd->netdev_rx 0
PARAM_VALUE 0 dd->netdev_rx->dd->verbs_dev.rdi.ibdev.driver_def->needs_fn_offset 0,35,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344
PARAM_VALUE 0 dd->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dd->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dd->pcidev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.client_data_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.client_data_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.dev.p->dead 0-1
PARAM_VALUE 0 dd->verbs_dev.rdi.ibdev.dev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 dd s32min-(-1),1-s32max
BUF_SIZE 0 dd s32min-(-1),1-s32max
CAPPED_DATA 0 dd->num_pports 1
DATA_SOURCE 0 dd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dd->pcidev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 dd->num_pports
UNITS 0 dd unit_byte