Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 23 files:

Smatch caller information:

drivers/infiniband/sw/rdmavt/vt.c rvt_query_port() -> (struct rvt_driver_provided)->query_port_state()

Type Parameter Key Value
PARAM_VALUE 0 rdi 4096-ptr_max
PARAM_VALUE 0 rdi->ports 4096-ptr_max
PARAM_VALUE 2 props 4096-ptr_max
PARAM_VALUE 2 props->bad_pkey_cntr 0-u16max
PARAM_VALUE 2 props->init_type_reply 0
PARAM_VALUE 2 props->max_msg_sz 2147483648
PARAM_VALUE 2 props->qkey_viol_cntr 0-u16max
CAPPED_DATA 1 port_num 1
DATA_SOURCE 0 rdi r ib_to_rvt
DATA_SOURCE 1 port_num $1
DATA_SOURCE 2 props $2
CONTAINER 0 -136-5392+0 $(-1)
PARAM_COMPARE 2 props->pkey_tbl_len == $0->dparms.npkeys
NOSPEC 1 port_num
NOSPEC 1 port_num
MEM_ZERO 2 props
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 port_num 0-255[c]

Smatch assignments to (struct ib_device_ops)->query_port:

drivers/infiniband/hw/mthca/mthca_provider.c (null)() -> (struct ib_device_ops)->query_port [0,451828842811793408]

drivers/infiniband/hw/hfi1/debugfs.c _qp_stats_seq_start() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hns/hns_roce_main.c (null)() -> (struct ib_device_ops)->query_port [0,5965695002019430400]

drivers/infiniband/hw/mthca/mthca_main.c __mthca_init_one() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/mthca/mthca_main.c mthca_setup_hca() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_alloc_pd() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_alloc_uar() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_attach_detach_event_counter() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_ah() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_cq() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_event_counter() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_qp() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_dealloc_pd() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_dealloc_uar() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_dereg_mr() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_ah() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_cq() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_event_counter() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_qp() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_device_attr() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_feature_ex() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_hw_hints() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_stats() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_modify_event_counter() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_modify_qp() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_query_qp() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_register_mr() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_set_aenq_config() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_set_feature_ex() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/mlx5/odp.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/mlx5/dm.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/cxgb4/provider.c (null)() -> (struct ib_device_ops)->query_port [1225646714906198016]

drivers/infiniband/hw/hfi1/verbs.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/irdma/icrdma_if.c icrdma_lan_register_qset() -> (struct ib_device_ops)->query_port [ignore]

drivers/infiniband/hw/irdma/icrdma_if.c icrdma_lan_unregister_qset() -> (struct ib_device_ops)->query_port [ignore]

drivers/infiniband/hw/mlx5/dmah.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/erdma/erdma_main.c (null)() -> (struct ib_device_ops)->query_port [0,7303511560732852224]

drivers/infiniband/hw/erdma/erdma_main.c erdma_comm_irq_handler() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/mana/device.c (null)() -> (struct ib_device_ops)->query_port [0,2564597006149390336]

drivers/infiniband/sw/rdmavt/vt.c (null)() -> (struct ib_device_ops)->query_port [7440593973578067968]

drivers/infiniband/hw/efa/efa_main.c (null)() -> (struct ib_device_ops)->query_port [2259108300898164736]

drivers/infiniband/hw/efa/efa_main.c efa_intr_msix_mgmnt() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/mlx5/counters.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/core/device.c _ib_alloc_device() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/core/device.c ib_device_release() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/mlx4/main.c (null)() -> (struct ib_device_ops)->query_port [0,1915836473212579840]

drivers/infiniband/hw/mlx4/main.c mlx4_ib_probe() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/ocrdma/ocrdma_main.c (null)() -> (struct ib_device_ops)->query_port [0,2994651915044892672]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c (null)() -> (struct ib_device_ops)->query_port [0,2413349824163348480]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c pvrdma_intr0_handler() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c pvrdma_intr1_handler() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c pvrdma_intrx_handler() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/mthca/mthca_eq.c mthca_arbel_interrupt() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/mthca/mthca_eq.c mthca_init_eq_table() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/mthca/mthca_eq.c mthca_tavor_interrupt() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/sw/siw/siw_main.c (null)() -> (struct ib_device_ops)->query_port [7231999347968159744]

drivers/infiniband/hw/mlx5/main.c (null)() -> (struct ib_device_ops)->query_port [0,634896822500753408,4355275875274162176]

drivers/infiniband/hw/hfi1/init.c hfi1_alloc_devdata() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/hfi1/init.c init_one() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/hfi1/init.c remove_one() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/mlx5/restrack.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/ionic/ionic_ibdev.c (null)() -> (struct ib_device_ops)->query_port [3511668137432330240]

drivers/infiniband/core/ucma.c ucma_init_qp_attr() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/usnic/usnic_ib_main.c (null)() -> (struct ib_device_ops)->query_port [1721101559273779200]

drivers/infiniband/hw/usnic/usnic_ib_main.c usnic_ib_discover_pf() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/ionic/ionic_hw_stats.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/bnxt_re/main.c (null)() -> (struct ib_device_ops)->query_port [0,8594695705165115392]

drivers/infiniband/hw/bnxt_re/debugfs.c info_show() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/sw/rxe/rxe.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/cxgb4/device.c ep_open() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/cxgb4/device.c qp_open() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/cxgb4/device.c stag_open() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/cxgb4/device.c stats_show() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/cxgb4/device.c wr_log_show() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/mlx5/fs.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c (null)() -> (struct ib_device_ops)->query_port [0]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c __hns_roce_hw_v2_init_instance() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c __hns_roce_hw_v2_uninit_instance() -> (struct ib_device_ops)->query_port [ignore]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_bond_init_client() -> (struct ib_device_ops)->query_port [ignore]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_hw_v2_reset_notify_down() -> (struct ib_device_ops)->query_port [ignore]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_v2_create_eq() -> (struct ib_device_ops)->query_port [min-max]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_v2_msix_interrupt_abn() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/irdma/verbs.c (null)() -> (struct ib_device_ops)->query_port [0,3775300634511728640]

net/devlink/port.c __devlink_port_type_set() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hns/hns_roce_debugfs.c sw_stat_debugfs_show() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/qedr/main.c (null)() -> (struct ib_device_ops)->query_port [0,5789636408895606784]

drivers/infiniband/hw/hfi1/chip.c access_sw_cpu_intr() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_cpu_rcv_limit() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_ctx0_seq_drop() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_kmem_wait() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_pio_wait() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_vtx_wait() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c dc_access_lcb_cntr() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c dev_access_u32_csr() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c dev_access_u64_csr() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/hfi1/chip.c general_interrupt() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/sw/rxe/rxe_verbs.c (null)() -> (struct ib_device_ops)->query_port [7451626515598532608]

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_access_sw_tid_wait() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_admin_init() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_admin_init_aenq() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_alloc_comp_ctx() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_cmd_exec() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_cqe_checksum_valid() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_create_eq() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_dealloc_comp_ctx() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_destroy_eq() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_dev_reset() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_get_dma_width() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_handle_single_admin_completion() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_reg_read32() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_submit_admin_cmd() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_validate_version() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_wait_and_process_admin_cq_interrupts() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_wait_and_process_admin_cq_polling() -> (struct ib_device_ops)->query_port [0-u64max]

drivers/infiniband/hw/efa/efa_com.c wait_for_reset_state() -> (struct ib_device_ops)->query_port [0-u64max]