Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_uar.c mthca_cleanup_uar_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 alloc->last 0-u32max[c]
LOCK2 global &mthca_device_mutex

drivers/infiniband/hw/mthca/mthca_uar.c mthca_init_uar_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->last 0
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
PARAM_VALUE 0 alloc->top 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mthca/mthca_srq.c mthca_cleanup_srq_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &dev->cmd.poll_sem

drivers/infiniband/hw/mthca/mthca_srq.c mthca_init_srq_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->last 0
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
PARAM_VALUE 0 alloc->top 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->cmd.poll_sem
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mthca_cmd)->poll_sem

drivers/infiniband/hw/mthca/mthca_pd.c mthca_cleanup_pd_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 alloc->last 0-u32max[c]
LOCK2 global &mthca_device_mutex

drivers/infiniband/hw/mthca/mthca_eq.c mthca_cleanup_eq_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex

drivers/infiniband/hw/mthca/mthca_eq.c mthca_init_eq_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mthca/mthca_mr.c mthca_cleanup_mr_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 alloc->last 0-u32max[c]
LOCK2 global &mthca_device_mutex

drivers/infiniband/hw/mthca/mthca_mr.c mthca_init_mr_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->last 0
PARAM_VALUE 0 alloc->mask u32max
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
PARAM_VALUE 0 alloc->top 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mthca/mthca_mcg.c mthca_cleanup_mcg_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex

drivers/infiniband/hw/mthca/mthca_av.c mthca_cleanup_av_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &dev->cmd.poll_sem

drivers/infiniband/hw/mthca/mthca_av.c mthca_init_av_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->last 0
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
PARAM_VALUE 0 alloc->top 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->cmd.poll_sem
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mthca_cmd)->poll_sem

drivers/infiniband/hw/mthca/mthca_cq.c mthca_cleanup_cq_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &dev->cmd.poll_sem

drivers/infiniband/hw/mthca/mthca_cq.c mthca_init_cq_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->last 0
PARAM_VALUE 0 alloc->mask 16777215
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
PARAM_VALUE 0 alloc->top 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->cmd.poll_sem
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mthca_cmd)->poll_sem

drivers/infiniband/hw/mthca/mthca_qp.c mthca_cleanup_qp_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &dev->cmd.poll_sem

drivers/infiniband/hw/mthca/mthca_qp.c mthca_init_qp_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->last 0
PARAM_VALUE 0 alloc->mask 16777215
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
PARAM_VALUE 0 alloc->top 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->cmd.poll_sem
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mthca_cmd)->poll_sem

drivers/infiniband/hw/mthca/mthca_qp.c mthca_init_qp_table() -> mthca_alloc_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 alloc 4096-ptr_max
PARAM_VALUE 0 alloc->last 0
PARAM_VALUE 0 alloc->mask 16777215
PARAM_VALUE 0 alloc->table 16,4096-ptr_max
PARAM_VALUE 0 alloc->top 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->cmd.poll_sem
LOCK2 global &mthca_device_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mthca_cmd)->poll_sem