Open Menu /

Defined in 1 files as a prototype:

Referenced in 4 files:

Smatch caller information:

drivers/pci/proc.c proc_bus_pci_write() -> pci_user_write_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.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
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 1 pos 1
BIT_INFO 1 pos 0x1,0x3fffffff
NOSPEC 1 pos
NOSPEC 1 pos
NOCHECK_CALL
USER_DATA 1 pos 1-1000000000[c]
UNITS 0 dev unit_array_size
UNITS 1 pos unit_byte

drivers/pci/proc.c proc_bus_pci_write() -> pci_user_write_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.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
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
NOSPEC 1 pos
NOSPEC 1 pos
NOCHECK_CALL
USER_DATA 1 pos 0-1000000012[c]
UNITS 0 dev unit_array_size
UNITS 1 pos unit_byte

drivers/pci/pci-sysfs.c pci_write_config() -> pci_user_write_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
CAPPED_DATA 0 dev->cfg_size 1
CAPPED_DATA 1 pos 1
DATA_SOURCE 1 pos $4
PARAM_COMPARE 0 dev->cfg_size > $1
PARAM_COMPARE 1 pos < $0->cfg_size
BIT_INFO 1 pos 0x1,0x7fffffff
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_write_config() -> pci_user_write_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
CAPPED_DATA 0 dev->cfg_size 1
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_config.c vfio_user_config_write() -> pci_user_write_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
CAPPED_DATA 1 pos 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pos $1
DATA_SOURCE 2 val $2
NOSPEC 1 pos
HOST_DATA 0 dev->current_state 0-3[c]
HOST_DATA 2 val 0-255[c]
USER_DATA 1 pos 0-1000000004[c]
USER_DATA 2 val 0-255