Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/pci-bridge-emul.c pci_bridge_emul_conf_write() -> pci_bridge_emul_conf_write ptr write_op()

Type Parameter Key Value
PARAM_VALUE 0 bridge 4096-ptr_max
PARAM_VALUE 0 bridge->ops 4096-ptr_max
PARAM_VALUE 0 bridge->ops->read_base 4096-ptr_max
PARAM_VALUE 0 bridge->ops->read_ext 4096-ptr_max
PARAM_VALUE 0 bridge->ops->read_pcie 4096-ptr_max
PARAM_VALUE 0 bridge->ops->write_base 1407574201787375616
PARAM_VALUE 0 bridge->ops->write_ext 2182058441659437056
PARAM_VALUE 0 bridge->ops->write_pcie 7588981675596816384
DATA_SOURCE 0 bridge $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 old 0-s32max
HOST_DATA 3 new 0-u32max
USER_DATA 1 reg 0-999999756[c]
USER_DATA 2 old 0-u16max[c]
USER_DATA 3 new 0-u32max[c]
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq