efa_qp_user_mmap_entries_remove identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/hw/efa/efa_verbs.c, line 497 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/efa/efa_verbs.c

Smatch caller information:

drivers/infiniband/hw/efa/efa_verbs.c efa_create_qp() -> efa_qp_user_mmap_entries_remove()

Type	Parameter	Key	Value
PARAM_VALUE	0	qp	4096-ptr_max
PARAM_VALUE	0	qp->ibqp.qp_num	0-u16max
PARAM_VALUE	0	qp->llq_desc_mmap_entry	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs.next	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs.prev	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.first_waiter	0
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.magic	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.osq.tail.counter	0
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.owner.counter	0
PARAM_VALUE	0	qp->llq_desc_mmap_entry->npages	0-u32max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->ref.refcount.refs.counter	1
PARAM_VALUE	0	qp->llq_desc_mmap_entry->start_pgoff	0-u32max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->ucontext	4096-ptr_max
PARAM_VALUE	0	qp->max_recv_sge	0-u16max
PARAM_VALUE	0	qp->max_send_sge	0-u16max
PARAM_VALUE	0	qp->rq_cpu_addr	0,18379471554275704832,18446612682070032384
PARAM_VALUE	0	qp->rq_db_mmap_entry	4096-ptr_max
PARAM_VALUE	0	qp->rq_db_mmap_entry->dmabufs.next	4096-ptr_max
PARAM_VALUE	0	qp->rq_db_mmap_entry->dmabufs.prev	4096-ptr_max
PARAM_VALUE	0	qp->rq_db_mmap_entry->dmabufs_lock.first_waiter	0
PARAM_VALUE	0	qp->rq_db_mmap_entry->dmabufs_lock.magic	4096-ptr_max
PARAM_VALUE	0	qp->rq_db_mmap_entry->dmabufs_lock.osq.tail.counter	0
PARAM_VALUE	0	qp->rq_db_mmap_entry->dmabufs_lock.owner.counter	0
PARAM_VALUE	0	qp->rq_db_mmap_entry->npages	0-u32max
PARAM_VALUE	0	qp->rq_db_mmap_entry->ref.refcount.refs.counter	1
PARAM_VALUE	0	qp->rq_db_mmap_entry->start_pgoff	0-u32max
PARAM_VALUE	0	qp->rq_db_mmap_entry->ucontext	4096-ptr_max
PARAM_VALUE	0	qp->rq_mmap_entry	4096-ptr_max
PARAM_VALUE	0	qp->rq_mmap_entry->dmabufs.next	4096-ptr_max
PARAM_VALUE	0	qp->rq_mmap_entry->dmabufs.prev	4096-ptr_max
PARAM_VALUE	0	qp->rq_mmap_entry->dmabufs_lock.first_waiter	0
PARAM_VALUE	0	qp->rq_mmap_entry->dmabufs_lock.magic	4096-ptr_max
PARAM_VALUE	0	qp->rq_mmap_entry->dmabufs_lock.osq.tail.counter	0
PARAM_VALUE	0	qp->rq_mmap_entry->dmabufs_lock.owner.counter	0
PARAM_VALUE	0	qp->rq_mmap_entry->npages	0-u32max
PARAM_VALUE	0	qp->rq_mmap_entry->ref.refcount.refs.counter	1
PARAM_VALUE	0	qp->rq_mmap_entry->start_pgoff	0-u32max
PARAM_VALUE	0	qp->rq_mmap_entry->ucontext	4096-ptr_max
PARAM_VALUE	0	qp->rq_size	0,4096-u32max
PARAM_VALUE	0	qp->sq_db_mmap_entry	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs.next	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs.prev	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.first_waiter	0
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.magic	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.osq.tail.counter	0
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.owner.counter	0
PARAM_VALUE	0	qp->sq_db_mmap_entry->npages	0-u32max
PARAM_VALUE	0	qp->sq_db_mmap_entry->ref.refcount.refs.counter	1
PARAM_VALUE	0	qp->sq_db_mmap_entry->start_pgoff	0-u32max
PARAM_VALUE	0	qp->sq_db_mmap_entry->ucontext	4096-ptr_max
BUF_SIZE	0	qp->rq_cpu_addr	(-1),4096-s32max
CAPPED_DATA	0	qp->max_inline_data	1
CAPPED_DATA	0	qp->max_recv_sge	1
CAPPED_DATA	0	qp->max_recv_wr	1
CAPPED_DATA	0	qp->max_send_sge	1
CAPPED_DATA	0	qp->max_send_wr	1
CAPPED_DATA	0	qp->rq_cpu_addr	1
DATA_SOURCE	0	qp	r to_eqp
BIT_INFO	0	qp->rq_size	0x0,0xfffff000
NOSPEC	0	qp->max_recv_sge
NOSPEC	0	qp->max_send_sge
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	qp->llq_desc_mmap_entry->npages	0-1048577[c]
USER_DATA	0	qp->max_inline_data	0-u32max[c]
USER_DATA	0	qp->max_recv_sge	0-u16max[c]
USER_DATA	0	qp->max_recv_wr	0-u32max[c]
USER_DATA	0	qp->max_send_sge	0-u16max[c]
USER_DATA	0	qp->max_send_wr	0-u32max[c]
USER_DATA	0	qp->rq_mmap_entry->npages	0-1048577[c]
USER_DATA	0	qp->rq_size	0,4096-u32max[c]
NO_OVERFLOW_SIMPLE	0	qp->llq_desc_mmap_entry->rdma_entry.start_pgoff
NO_OVERFLOW_SIMPLE	0	qp->rq_db_mmap_entry->rdma_entry.start_pgoff
NO_OVERFLOW_SIMPLE	0	qp->rq_mmap_entry->rdma_entry.start_pgoff
NO_OVERFLOW_SIMPLE	0	qp->sq_db_mmap_entry->rdma_entry.start_pgoff

drivers/infiniband/hw/efa/efa_verbs.c efa_destroy_qp() -> efa_qp_user_mmap_entries_remove()

Type	Parameter	Key	Value
PARAM_VALUE	0	qp	4096-ptr_max
DATA_SOURCE	0	qp	r to_eqp
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/efa/efa_verbs.c qp_mmap_entries_setup() -> efa_qp_user_mmap_entries_remove()

Type	Parameter	Key	Value
PARAM_VALUE	0	qp	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry	0,4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs.next	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs.prev	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.first_waiter	0
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.magic	4096-ptr_max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.osq.tail.counter	0
PARAM_VALUE	0	qp->llq_desc_mmap_entry->dmabufs_lock.owner.counter	0
PARAM_VALUE	0	qp->llq_desc_mmap_entry->npages	0-u32max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->ref.refcount.refs.counter	1
PARAM_VALUE	0	qp->llq_desc_mmap_entry->start_pgoff	0-u32max
PARAM_VALUE	0	qp->llq_desc_mmap_entry->ucontext	4096-ptr_max
PARAM_VALUE	0	qp->rq_cpu_addr	0,18379471554275704832,18446612682070032384
PARAM_VALUE	0	qp->rq_size	0,4096-u32max
PARAM_VALUE	0	qp->sq_db_mmap_entry	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs.next	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs.prev	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.first_waiter	0
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.magic	4096-ptr_max
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.osq.tail.counter	0
PARAM_VALUE	0	qp->sq_db_mmap_entry->dmabufs_lock.owner.counter	0
PARAM_VALUE	0	qp->sq_db_mmap_entry->npages	0-u32max
PARAM_VALUE	0	qp->sq_db_mmap_entry->ref.refcount.refs.counter	1
PARAM_VALUE	0	qp->sq_db_mmap_entry->start_pgoff	0-u32max
PARAM_VALUE	0	qp->sq_db_mmap_entry->ucontext	4096-ptr_max
BUF_SIZE	0	qp->llq_desc_mmap_entry	(-1),208
BUF_SIZE	0	qp->llq_desc_mmap_entry->ucontext	(-1),256
BUF_SIZE	0	qp->rq_cpu_addr	(-1),4096-s32max
BUF_SIZE	0	qp->rq_db_mmap_entry	(-1),208
BUF_SIZE	0	qp->rq_db_mmap_entry->ucontext	(-1),256
BUF_SIZE	0	qp->sq_db_mmap_entry	208
BUF_SIZE	0	qp->sq_db_mmap_entry->ucontext	256
CAPPED_DATA	0	qp->rq_cpu_addr	1
DATA_SOURCE	0	qp	$0
BIT_INFO	0	qp->rq_size	0x0,0xfffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	qp->llq_desc_mmap_entry->npages	0-1048577[c]
USER_DATA	0	qp->rq_size	0,4096-u32max[c]
NO_OVERFLOW_SIMPLE	0	qp->llq_desc_mmap_entry->rdma_entry.start_pgoff
NO_OVERFLOW_SIMPLE	0	qp->rq_db_mmap_entry->rdma_entry.start_pgoff
NO_OVERFLOW_SIMPLE	0	qp->rq_mmap_entry->rdma_entry.start_pgoff
NO_OVERFLOW_SIMPLE	0	qp->sq_db_mmap_entry->rdma_entry.start_pgoff