Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/pci/vfio_pci_igd.c vfio_pci_igd_rw() -> igd_opregion_shift_copy()

Type Parameter Key Value
PARAM_VALUE 1 off 6304349645526622208
PARAM_VALUE 1 *off 0
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 3 pos 6436895421665140736
PARAM_VALUE 3 *pos 0-21
PARAM_VALUE 4 remaining 4204662694129348608
PARAM_VALUE 4 *remaining 1-2147479552
PARAM_VALUE 5 bytes 1-22
CAPPED_DATA 5 bytes 1
CAPPED_DATA 5 bytes 1
DATA_SOURCE 0 dst $1
NOSPEC 4 *remaining
NOSPEC 5 bytes
USER_DATA 0 dst 0-u64max[c]
USER_DATA 3 *pos 2-21[c]
USER_DATA 4 *remaining 1-2147479552[c]
USER_DATA 5 bytes 1-21[c]
UNITS 2 src unit_byte
UNITS 5 bytes unit_byte
USER_PTR 3 pos
USER_PTR 4 remaining

drivers/vfio/pci/vfio_pci_igd.c vfio_pci_igd_rw() -> igd_opregion_shift_copy()

Type Parameter Key Value
PARAM_VALUE 1 off 6304349645526622208
PARAM_VALUE 1 *off 0-22
PARAM_VALUE 2 *src 0-255
PARAM_VALUE 3 pos 6436895421665140736
PARAM_VALUE 3 *pos 0-23
PARAM_VALUE 4 remaining 4204662694129348608
PARAM_VALUE 4 *remaining 1-2147479552
PARAM_VALUE 5 bytes 1-24
CAPPED_DATA 5 bytes 1
CAPPED_DATA 5 bytes 1
DATA_SOURCE 0 dst $1
NOSPEC 4 *remaining
NOSPEC 5 bytes
USER_DATA 0 dst 0-u64max[c]
USER_DATA 1 *off 1-21[c][u]
USER_DATA 3 *pos 2-23[c]
USER_DATA 4 *remaining 1-2147479552
USER_DATA 5 bytes 1-23[c]
UNITS 2 src unit_byte
UNITS 5 bytes unit_byte
USER_PTR 1 off
USER_PTR 3 pos
USER_PTR 4 remaining

drivers/vfio/pci/vfio_pci_igd.c vfio_pci_igd_rw() -> igd_opregion_shift_copy()

Type Parameter Key Value
PARAM_VALUE 1 off 6304349645526622208
PARAM_VALUE 1 *off 0-46
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 3 pos 6436895421665140736
PARAM_VALUE 3 *pos 1-953
PARAM_VALUE 4 remaining 4204662694129348608
PARAM_VALUE 4 *remaining 1-2147479552
PARAM_VALUE 5 bytes 1-953
CAPPED_DATA 5 bytes 1
CAPPED_DATA 5 bytes 1
DATA_SOURCE 0 dst $1
NOSPEC 4 *remaining
NOSPEC 5 bytes
USER_DATA 0 dst 0-u64max[c]
USER_DATA 1 *off 1-44[c][u]
USER_DATA 3 *pos 3-953[c]
USER_DATA 4 *remaining 1-2147479552
USER_DATA 5 bytes 1-952[c]
UNITS 2 src unit_byte
UNITS 5 bytes unit_byte
USER_PTR 1 off
USER_PTR 3 pos
USER_PTR 4 remaining

drivers/vfio/pci/vfio_pci_igd.c vfio_pci_igd_rw() -> igd_opregion_shift_copy()

Type Parameter Key Value
PARAM_VALUE 1 off 6304349645526622208
PARAM_VALUE 1 *off 0-999
PARAM_VALUE 2 *src 0-255
PARAM_VALUE 3 pos 6436895421665140736
PARAM_VALUE 3 *pos 1-961
PARAM_VALUE 4 remaining 4204662694129348608
PARAM_VALUE 4 *remaining 1-2147479552
PARAM_VALUE 5 bytes 1-961
CAPPED_DATA 5 bytes 1
CAPPED_DATA 5 bytes 1
DATA_SOURCE 0 dst $1
NOSPEC 4 *remaining
NOSPEC 5 bytes
USER_DATA 0 dst 0-u64max[c]
USER_DATA 1 *off 2-996[c][u]
USER_DATA 3 *pos 3-961[c]
USER_DATA 4 *remaining 1-2147479552
USER_DATA 5 bytes 1-960[c]
UNITS 2 src unit_byte
UNITS 5 bytes unit_byte
USER_PTR 1 off
USER_PTR 3 pos
USER_PTR 4 remaining

drivers/vfio/pci/vfio_pci_igd.c vfio_pci_igd_rw() -> igd_opregion_shift_copy()

Type Parameter Key Value
PARAM_VALUE 1 off 6304349645526622208
PARAM_VALUE 1 *off 0-1960
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 3 pos 6436895421665140736
PARAM_VALUE 3 *pos 2-8191
PARAM_VALUE 4 remaining 4204662694129348608
PARAM_VALUE 4 *remaining 1-2147479552
PARAM_VALUE 5 bytes 1-8190
CAPPED_DATA 5 bytes 1
CAPPED_DATA 5 bytes 1
DATA_SOURCE 0 dst $1
NOSPEC 4 *remaining
NOSPEC 5 bytes
USER_DATA 0 dst 0-u64max[c]
USER_DATA 1 *off 2-1956[c][u]
USER_DATA 3 *pos 4-8191[c]
USER_DATA 4 *remaining 1-2147479552
USER_DATA 5 bytes 1-8189[c]
UNITS 2 src unit_byte
UNITS 5 bytes unit_byte
USER_PTR 1 off
USER_PTR 3 pos
USER_PTR 4 remaining