hfi1_rcvctrl identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/infiniband/hw/hfi1/chip.h, line 1382 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/hw/hfi1/chip.c, line 11989 (as a function)

Referenced in 5 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/file_ops.c ctxt_reset() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	1	op	4
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->dd	1-u64max
PARAM_VALUE	2	rcd->sc	4096-ptr_max
PARAM_VALUE	2	rcd->sc->alloc_free	0
PARAM_VALUE	2	rcd->sc->alloc_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	rcd->sc->dd->sc_init_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	rcd->sc->fill	0
PARAM_VALUE	2	rcd->sc->fill_wrap	0
PARAM_VALUE	2	rcd->sc->flags	0-65534
PARAM_VALUE	2	rcd->sc->free	0
PARAM_VALUE	2	rcd->sc->release_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	rcd->sc->sr_head	0
PARAM_VALUE	2	rcd->sc->sr_tail	0
PARAM_VALUE	2	rcd->sc->waitlock.seqcount.seqcount.dep_map->name	0-255
PARAM_VALUE	2	*rcd->sc->hw_free	0
DATA_SOURCE	2	rcd	$0
BIT_INFO	0	dd->flags	0x0,0xff7b
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/file_ops.c hfi1_file_close() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->uctxt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	op	698410
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->dd	4096-ptr_max
PARAM_VALUE	2	rcd->in_use_ctxts	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/file_ops.c manage_rcvq() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	1	op	4,8
PARAM_VALUE	2	rcd	4096-ptr_max
DATA_SOURCE	2	rcd	$0
FUZZY_MAX	1	op	8
BIT_INFO	1	op	0x0,0xc
HARD_MAX	1	op	8
NOCHECK_CALL

drivers/infiniband/hw/hfi1/file_ops.c poll_next() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->uctxt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	op	16
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->dd	4096-ptr_max
PARAM_VALUE	2	rcd->dd->uctxt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	rcd->wait.head.next->next	4096-ptr_max
PARAM_VALUE	2	rcd->wait.head.next->prev	4096-ptr_max
PARAM_VALUE	2	rcd->wait.head.prev->next	4096-ptr_max
PARAM_VALUE	2	rcd->wait.head.prev->next->next	4096-ptr_max
PARAM_VALUE	2	rcd->wait.lock.rlock.dep_map->name	0-255
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		irq
LOCK2	0	&dd->uctxt_lock
HALF_LOCKED2		&kvm->irq_srcu
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&vm->irqfds_lock
HALF_LOCKED2		global &irqfds_srcu
TYPE_LOCK		(struct hfi1_devdata)->uctxt_lock

drivers/infiniband/hw/hfi1/file_ops.c user_init() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->pcidev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	dd->pcidev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	dd->pcidev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	dd->pcidev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	1	op	262149-262150,263173-263174,266245-266246,267269-267270,278533-278534,279557-279558,282629-282630,283653-283654,327685-327686,328709-328710,331781-331782,332805-332806,344069-344070,345093-345094,348165-u32max
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->dd	4096-ptr_max
PARAM_VALUE	2	rcd->dd->pcidev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	2	rcd->dd->pcidev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	2	rcd->dd->pcidev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	2	rcd->dd->pcidev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	2	rcd->do_interrupt	7319624590385352704
PARAM_VALUE	2	rcd->egrbufs.count	0-2048
PARAM_VALUE	2	rcd->egrbufs.rcvtid_size	4096-262144
PARAM_VALUE	2	rcd->egrbufs.threshold	0-s16max
PARAM_VALUE	2	rcd->expected_count	0-2048
PARAM_VALUE	2	rcd->groups	1-u64max
PARAM_VALUE	2	rcd->jkey	0-31,64-u16max
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	1
PARAM_VALUE	2	rcd->msix_intr	256
PARAM_VALUE	2	rcd->rcvhdrq	1-u64max
PARAM_VALUE	2	rcd->rcvhdrtail_kvaddr	0-ptr_max
PARAM_VALUE	2	rcd->rhf_rcv_function_map	7287357882504753152
PARAM_VALUE	2	rcd->sc	0,4096-ptr_max
PARAM_VALUE	2	rcd->slow_handler	7319624590385352704
PARAM_VALUE	2	rcd->tid_group_list.list.prev	4096-ptr_max
PARAM_VALUE	2	rcd->tid_group_list.list.prev->next	4096-ptr_max
PARAM_VALUE	2	rcd->tid_group_list.list.prev->next->next	4096-ptr_max
PARAM_VALUE	2	rcd->urgent	0
PARAM_VALUE	2	rcd->urgent_poll	0
PARAM_VALUE	2	*rcd->rhf_rcv_function_map	1471066638525321216,4138812662975582208
DATA_SOURCE	2	rcd	$0
BIT_INFO	1	op	0x40004,0x55407
NOCHECK_CALL
USER_DATA	2	rcd->subctxt_cnt	1-8[c]
USER_DATA	2	rcd->subctxt_id	0-u16max
USER_DATA	2	rcd->userversion	0-u32max
NO_OVERFLOW_SIMPLE	2	rcd->egrbufs.count
NO_OVERFLOW_SIMPLE	2	rcd->expected_count

drivers/infiniband/hw/hfi1/init.c enable_chip() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->drop_packet.counter	0-1
PARAM_VALUE	0	dd->first_dyn_alloc_ctxt	1-255
PARAM_VALUE	0	dd->pcidev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	dd->pcidev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	dd->pio_inline_send	349161556861923328
PARAM_VALUE	0	dd->process_dma_send	6078567845686136832
PARAM_VALUE	0	dd->process_pio_send	1059276728434667520
PARAM_VALUE	0	dd->rcd	4096-ptr_max
PARAM_VALUE	0	dd->sendctrl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dd->uctxt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	op	21-22,1045-87062
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	(-1073741824),0-s32max
BUF_SIZE	0	dd	s32min-(-1),1-s32max
BUF_SIZE	0	dd	s32min-(-1),1-s32max
BUF_SIZE	0	dd->status	4096
CAPPED_DATA	0	dd	1
CAPPED_DATA	0	dd->num_pports	1
DATA_SOURCE	0	dd	$0
DATA_SOURCE	2	rcd	r hfi1_rcd_get_by_index
FUZZY_MAX	0	dd->drop_packet.counter	1
BIT_INFO	1	op	0x14,0x15417
HARD_MAX	0	dd->drop_packet.counter	1
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
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pool->lock

drivers/infiniband/hw/hfi1/init.c init_after_reset() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->drop_packet.counter	0-1
PARAM_VALUE	0	dd->num_rcv_contexts	1-u32max
PARAM_VALUE	0	dd->pcidev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	dd->pio_inline_send	349161556861923328
PARAM_VALUE	0	dd->process_dma_send	6078567845686136832
PARAM_VALUE	0	dd->process_pio_send	1059276728434667520
PARAM_VALUE	0	dd->rcd	4096-ptr_max
PARAM_VALUE	0	dd->uctxt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	op	42
PARAM_VALUE	2	rcd	0,4096-ptr_max
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	(-1073741824),0-s32max
BUF_SIZE	0	dd	s32min-(-1),1-s32max
BUF_SIZE	0	dd	s32min-(-1),1-s32max
CAPPED_DATA	0	dd	1
CAPPED_DATA	0	dd->num_pports	1
DATA_SOURCE	0	dd	$0
DATA_SOURCE	2	rcd	r hfi1_rcd_get_by_index
FUZZY_MAX	0	dd->drop_packet.counter	1
HARD_MAX	0	dd->drop_packet.counter	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dd->num_pports
UNITS	0	dd	unit_byte
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pool->lock

drivers/infiniband/hw/hfi1/init.c shutdown_device() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->flags	256-65534
PARAM_VALUE	0	dd->irq_src_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dd->msix_info.max_requested	0
PARAM_VALUE	0	dd->msix_info.msix_entries	0
PARAM_VALUE	0	dd->msix_info.msix_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dd->num_pports	1-255
PARAM_VALUE	0	dd->num_rcv_contexts	1-u32max
PARAM_VALUE	0	dd->pcidev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	dd->rcd	4096-ptr_max
PARAM_VALUE	0	dd->uctxt_lock.rlock.dep_map->name	0-255
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.coredev.ports_kobj->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dd->verbs_dev.rdi.ibdev.dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dd->verbs_dev.rdi.ibdev.dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	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,352,360,368,376,384,400,408,416,432,440,448,480,520,536,544,592,600,608,616,624,632,640,648,656,704,712,720,728,736,752,760,768,792
PARAM_VALUE	0	dd->verbs_dev.rdi.ibdev.port_data->cache.last_port_state	1,4
PARAM_VALUE	0	dd->verbs_dev.rdi.ibdev.port_data->immutable.pkey_tbl_len	0-u16max
PARAM_VALUE	0	dd->verbs_dev.rdi.post_parms->flags	0,2,6,8,16,32
PARAM_VALUE	0	dd->verbs_dev.rdi.post_parms->length	40,56,88
PARAM_VALUE	0	dd->verbs_dev.rdi.post_parms->qpt_support	4,12,31
PARAM_VALUE	1	op	8362
PARAM_VALUE	2	rcd	0,4096-ptr_max
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	(-1073741824),0-s32max
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
DATA_SOURCE	2	rcd	r hfi1_rcd_get_by_index
BIT_INFO	0	dd->flags	0x100,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dd->pcidev->current_state	0-3[c]
NO_OVERFLOW_SIMPLE	0	dd->num_pports
NO_OVERFLOW_SIMPLE	0	dd->verbs_dev.rdi.dparms.nports
NO_OVERFLOW_SIMPLE	0	dd->verbs_dev.rdi.ibdev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE	0	dd->verbs_dev.rdi.qp_dev->qp_table_size
UNITS	0	dd	unit_byte
HALF_LOCKED2		&dev->mutex

drivers/infiniband/hw/hfi1/intr.c handle_user_interrupt() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	1	op	32
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	2	rcd->wait.lock.rlock.dep_map->name	0-255
DATA_SOURCE	2	rcd	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2	0	&dd->uctxt_lock
HALF_LOCKED2		&desc->request_mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
TYPE_LOCK		(struct hfi1_devdata)->uctxt_lock

drivers/infiniband/hw/hfi1/netdev_rx.c disable_queues() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->netdev_rx	4096-ptr_max
PARAM_VALUE	1	op	40
PARAM_VALUE	2	rcd	4096-ptr_max
CAPPED_DATA	0	dd->netdev_rx->num_rx_q	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &hfi1_mutex
HALF_LOCKED2		&dev->lock
HALF_LOCKED2		&rdev->wiphy.mtx
HALF_LOCKED2		global &rtnl_mutex

drivers/infiniband/hw/hfi1/netdev_rx.c enable_queues() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	1	op	20
PARAM_VALUE	2	rcd	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &hfi1_mutex

drivers/infiniband/hw/hfi1/netdev_rx.c hfi1_netdev_deallocate_ctxt() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	1	op	174120
DATA_SOURCE	0	dd	$0
DATA_SOURCE	2	rcd	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	2	rcd->egrbufs.count
LOCK2		global &hfi1_mutex
HALF_LOCKED2		global &rtnl_mutex

drivers/infiniband/hw/hfi1/netdev_rx.c hfi1_netdev_setup_ctxt() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->pcidev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	1	op	40-41,4136-4137,16424-16425,20520-20521,65576-65577,69672-69673,81960-81961,86056-86057
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->dd	4096-ptr_max
PARAM_VALUE	2	rcd->dd->pcidev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	2	rcd->do_interrupt	6760979117424246784
PARAM_VALUE	2	rcd->egrbufs.count	0-2048
PARAM_VALUE	2	rcd->egrbufs.rcvtid_size	4096-262144
PARAM_VALUE	2	rcd->egrbufs.threshold	0-s16max
PARAM_VALUE	2	rcd->expected_count	0-2048
PARAM_VALUE	2	rcd->fast_handler	259393905442054144
PARAM_VALUE	2	rcd->flags	0-1023
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	1
PARAM_VALUE	2	rcd->msix_intr	256
PARAM_VALUE	2	rcd->rcvhdrq	1-u64max
PARAM_VALUE	2	rcd->rcvhdrtail_kvaddr	0-ptr_max
PARAM_VALUE	2	rcd->rhf_rcv_function_map	3960029679366471680
PARAM_VALUE	2	rcd->seq_cnt	1
PARAM_VALUE	2	rcd->slow_handler	6760979117424246784
PARAM_VALUE	2	*rcd->rhf_rcv_function_map	4138812662975582208
BUF_SIZE	2	rcd->do_interrupt	8
BUF_SIZE	2	rcd->rhf_rcv_function_map	64
DATA_SOURCE	2	rcd	$1
BIT_INFO	1	op	0x28,0x15029
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	2	rcd->egrbufs.alloced
NO_OVERFLOW_SIMPLE	2	rcd->egrbufs.count
LOCK2		global &hfi1_mutex
HALF_LOCKED2		&device->client_data_rwsem
HALF_LOCKED2		&device->unregistration_lock
HALF_LOCKED2		global &rtnl_mutex

drivers/infiniband/hw/hfi1/chip.c rxe_freeze() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
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->netdev_rx->rx_napi->rtnl_link_ops->priv_size	0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE	0	dd->num_rcv_contexts	1-u32max
PARAM_VALUE	0	dd->num_send_contexts	0-s32max
PARAM_VALUE	0	dd->rcd	4096-ptr_max
PARAM_VALUE	0	dd->rcvctrl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dd->uctxt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	op	8
PARAM_VALUE	2	rcd	0,4096-ptr_max
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	(-1073741824),0-s32max
CAPPED_DATA	0	dd->num_send_contexts	1
DATA_SOURCE	0	dd	$0
DATA_SOURCE	2	rcd	r hfi1_rcd_get_by_index
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/infiniband/hw/hfi1/chip.c rxe_kernel_unfreeze() -> hfi1_rcvctrl()

Type	Parameter	Key	Value
PARAM_VALUE	0	dd	4096-ptr_max
PARAM_VALUE	0	dd->first_dyn_alloc_ctxt	1-255
PARAM_VALUE	0	dd->irq_src_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dd->num_rcv_contexts	1-s32max
PARAM_VALUE	0	dd->num_sdma	0-s32max
PARAM_VALUE	0	dd->num_send_contexts	0-s32max
PARAM_VALUE	0	dd->rcd	4096-ptr_max
PARAM_VALUE	0	dd->rcvctrl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dd->uctxt_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	op	5-6
PARAM_VALUE	2	rcd	4096-ptr_max
PARAM_VALUE	2	rcd->kref.refcount.refs.counter	(-1073741824),0-s32max
CAPPED_DATA	0	dd->num_rcv_contexts	1
CAPPED_DATA	0	dd->num_sdma	1
CAPPED_DATA	0	dd->num_send_contexts	1
DATA_SOURCE	0	dd	$0
DATA_SOURCE	2	rcd	r hfi1_rcd_get_by_index
BIT_INFO	1	op	0x4,0x7
NOCHECK_CALL
HALF_LOCKED2		&pool->lock