Open Menu /

Defined in 1 files as a prototype:

Referenced in 5 files:

Smatch caller information:

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

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 1 pos 1-1000000000
PARAM_VALUE 2 val 885187038496112640
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 1 pos 1
DATA_SOURCE 0 dev r pde_data
BIT_INFO 1 pos 0x1,0x3fffffff
NOSPEC 1 pos
NOSPEC 1 pos
NOCHECK_CALL
USER_DATA 1 pos 2-1000000000[c]
UNITS 1 pos unit_byte

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

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-1000000012[c]
UNITS 1 pos unit_byte

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

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
CAPPED_DATA 1 pos 1
DATA_SOURCE 1 pos $4
BIT_INFO 1 pos 0x1,0xffffffff
NOSPEC 1 pos
NOSPEC 1 pos
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 pos 1-4095[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/pci/pci-sysfs.c pci_read_config() -> pci_user_read_config_byte()

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-4107[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_byte()

Type Parameter Key Value
PARAM_VALUE 1 pos 1-1000000000
PARAM_VALUE 2 val 3625523837564936192
BUF_SIZE 0 dev 16
BUF_SIZE 0 dev 16
CAPPED_DATA 1 pos 1
BIT_INFO 1 pos 0x1,0x3fffffff
USER_DATA 1 pos 2-1000000000[c]
UNITS 1 pos unit_byte

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

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

drivers/vfio/pci/vfio_pci_config.c vfio_af_config_write() -> pci_user_read_config_byte()

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 5445800943372009472
CAPPED_DATA 0 dev 1
CAPPED_DATA 1 pos 1
HOST_DATA 0 dev->current_state 0-3[c]
USER_DATA 1 pos 5-2000000011[c]

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

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 5581689907112407040
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]