mana_gd_query_max_resources identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/microsoft/mana/gdma_main.c, line 178 (as a function)

Referenced in 1 files:

drivers/net/ethernet/microsoft/mana/gdma_main.c, line 2270

Smatch caller information:

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_setup() -> mana_gd_query_max_resources()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->bus->self->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	pdev->dev.driver_data->db_page_size	0-u16max
PARAM_VALUE	0	pdev->dev.driver_data->gic_mutex.dep_map->name	0-255
PARAM_VALUE	0	pdev->dev.driver_data->gic_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	pdev->dev.driver_data->gic_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	pdev->dev.driver_data->gic_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	pdev->dev.driver_data->gic_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	pdev->dev.driver_data->gic_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	pdev->dev.driver_data->gic_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data	4096-ptr_max
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.count	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.first_waiter->up	1
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.last_holder	0
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.lock.dep_map->name	0-255
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.lock.owner	(-1)
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->sema.lock.owner_cpu	4294967295
PARAM_VALUE	0	pdev->dev.driver_data->hwc.driver_data->txq->gdma_wq->head	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.dev_id.as_uint32	1-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.dev_id.instance	0-u16max
PARAM_VALUE	0	pdev->dev.driver_data->mana.dev_id.type	2
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->hwc.doorbell	0-u16max,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->hwc.gpa_mkey	0,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->hwc.pdid	0-16777215,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->hwc.rdma_teardown	1
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana.doorbell	0-u16max,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana.gpa_mkey	0,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana.pdid	0-16777215,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana.rdma_teardown	1
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana_ib.doorbell	0-u16max,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana_ib.gpa_mkey	0,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana_ib.pdid	0-16777215,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana.gdma_context->mana_ib.rdma_teardown	1
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.dev_id.as_uint32	1-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.dev_id.instance	0-u16max
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.dev_id.type	3
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->hwc.doorbell	0-u16max,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->hwc.gpa_mkey	0,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->hwc.pdid	0-16777215,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->hwc.rdma_teardown	1
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana.doorbell	0-u16max,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana.gpa_mkey	0,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana.pdid	0-16777215,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana.rdma_teardown	1
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana_ib.dev_id.as_uint32	1-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana_ib.dev_id.type	3
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana_ib.doorbell	0-u16max,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana_ib.gpa_mkey	0,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana_ib.pdid	0-16777215,4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_ib.gdma_context->mana_ib.rdma_teardown	1
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_lockref.count	s32min-s32max
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_bmap_bits	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_bmap_count	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_data_blksize	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_hashsize	s32min-s32max
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_last_bmap	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_mode	0-u16max
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_partition_size	s32min-s32max
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_reserved	s32min-s32max
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->s_root_block	0-4294967295
PARAM_VALUE	0	pdev->dev.driver_data->mana_pci_debugfs->d_sb->s_fs_info->work_queued	s32min-s32max
PARAM_VALUE	0	pdev->dev.driver_data->max_num_msix	0-s32max
PARAM_VALUE	0	pdev->dev.driver_data->msi_sharing	1
PARAM_VALUE	0	pdev->dev.driver_data->num_msix_usable	0-s32max
PARAM_VALUE	0	pdev->dev.driver_data->pf_cap_flags1	0
PARAM_VALUE	0	pdev->dev.msi.domain->msi_parent_ops->supported_flags	0,u16max,131071,196607,262143,1245183,1310719
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->driver->resume	0,4096-ptr_max
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-4095)-s64max
PARAM_VALUE	0	*pdev->dev.driver_data->db_page_base	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*pdev->dev.driver_data->shm_base	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA	0	pdev	1
DATA_SOURCE	0	pdev	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	pdev->current_state	0-3[c]
HALF_LOCKED2	0	&pdev->dev.mutex