Open Menu /

Defined in 1 files as a prototype:

Referenced in 6 files:

Smatch caller information:

drivers/pci/proc.c proc_bus_pci_read() -> pci_user_read_config_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->type 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 2 val 885187038496112640
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r pde_data
NOSPEC 1 pos
NOSPEC 1 pos
NOCHECK_CALL
USER_DATA 1 pos 1-1000000006[c]
UNITS 1 pos unit_byte

drivers/pci/pci-sysfs.c pci_read_config() -> pci_user_read_config_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->type 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 2 val 7388403671472234496
DATA_SOURCE 1 pos $4 [m]
NOSPEC 1 pos
NOSPEC 1 pos
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 pos 0-4101[c]
UNITS 1 pos unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/vfio/pci/vfio_pci_igd.c vfio_pci_igd_cfg_rw() -> pci_user_read_config_dword()

Type Parameter Key Value
PARAM_VALUE 2 val 3625523837564936192
BUF_SIZE 0 dev 16
BUF_SIZE 0 dev 16
USER_DATA 1 pos 2-1000000006[c]
UNITS 1 pos unit_byte

drivers/vfio/pci/vfio_pci_config.c vfio_exp_config_write() -> pci_user_read_config_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cfg_size 1-s32max
PARAM_VALUE 0 dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.request 0-4
PARAM_VALUE 0 dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->dev.power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->dev.type 0,4096-ptr_max
PARAM_VALUE 0 dev->sriov->offset 0-u16max
PARAM_VALUE 0 dev->sriov->stride 0-u16max
PARAM_VALUE 0 *dev->saved_config_space 0-4294967295
PARAM_VALUE 2 val 1509816738055614464
CAPPED_DATA 0 dev 1
CAPPED_DATA 1 pos 1
HOST_DATA 0 dev->current_state 0-3[c]
USER_DATA 1 pos 6-2000000012[c]

drivers/vfio/pci/vfio_pci_config.c vfio_need_bar_restore() -> pci_user_read_config_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cfg_size 1-s32max
PARAM_VALUE 0 dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.request 0-4
PARAM_VALUE 0 dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->dev.power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->dev.type 0,4096-ptr_max
PARAM_VALUE 0 dev->sriov->offset 0-u16max
PARAM_VALUE 0 dev->sriov->stride 0-u16max
PARAM_VALUE 0 *dev->saved_config_space 0-4294967295
PARAM_VALUE 1 pos 16,20-36
PARAM_VALUE 2 val 8555069995906859008
FUZZY_MAX 1 pos 16
HOST_DATA 0 dev->current_state 0-3[c]
LOCK2 &vdev->memory_lock
TYPE_LOCK (struct vfio_pci_core_device)->memory_lock

drivers/vfio/pci/vfio_pci_config.c vfio_user_config_read() -> pci_user_read_config_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cfg_size 1-s32max
PARAM_VALUE 0 dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.request 0-4
PARAM_VALUE 0 dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->dev.power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->dev.type 0,4096-ptr_max
PARAM_VALUE 0 *dev->saved_config_space 0-4294967295
PARAM_VALUE 1 pos 0-2147483646
PARAM_VALUE 2 val 1462725197205979136
PARAM_VALUE 2 *val 0
CAPPED_DATA 1 pos 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pos $1
NOSPEC 1 pos
HOST_DATA 0 dev->current_state 0-3[c]
USER_DATA 1 pos 0-1000000004[c]

drivers/pci/vpd.c pci_vpd_read() -> pci_user_read_config_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->vpd.lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->vpd.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->vpd.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->vpd.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->vpd.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->vpd.lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->vpd.lock.wait_lock.owner (-1)
PARAM_VALUE 0 dev->vpd.lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 *dev->saved_config_space 0-4294967295
PARAM_VALUE 2 val 3662405543058460672
BUF_SIZE 0 dev (-1),1-s32max
BUF_SIZE 0 dev (-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->acs_capabilities 0-u16max
HOST_DATA 0 dev->class 0-16777215
HOST_DATA 0 dev->current_state 0-3[c]
HOST_DATA 0 dev->devcap 0-u32max
HOST_DATA 0 dev->devfn 0-503[c]
HOST_DATA 0 dev->device 0-u16max
HOST_DATA 0 dev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 dev->fm_enabled 0-1[c]
HOST_DATA 0 dev->hdr_type 0,3-255[c]
HOST_DATA 0 dev->ide_cfg 0-1[c]
HOST_DATA 0 dev->ide_tee_limit 0-1[c]
HOST_DATA 0 dev->irq 0-255
HOST_DATA 0 dev->is_cxl 0-1
HOST_DATA 0 dev->multifunction 0-1[c]
HOST_DATA 0 dev->nr_ide_mem 0-255[c]
HOST_DATA 0 dev->pcie_flags_reg 0-u16max
HOST_DATA 0 dev->pcie_mpss 0-7[c]
HOST_DATA 0 dev->pin 0
HOST_DATA 0 dev->pme_support 0-31[c]
HOST_DATA 0 dev->ptm_granularity 0-255[c]
HOST_DATA 0 dev->revision 0-255
HOST_DATA 0 dev->subsystem_device 0-u16max
HOST_DATA 0 dev->subsystem_vendor 0-u16max
HOST_DATA 0 dev->supported_speeds 0,2-254[c]
HOST_DATA 0 dev->transparent 0[c]
HOST_DATA 0 dev->vendor 0-u16max
LOCK2 &vpd->lock
HALF_LOCKED2 0 &dev->vpd.lock
TYPE_LOCK (struct pci_vpd)->lock