Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_read_config_emu() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 0-1000000000,2147479552
PARAM_VALUE 2 reg_start 24
PARAM_VALUE 3 reg_cnt 8
PARAM_VALUE 4 buf_offset 3493710040835768320
PARAM_VALUE 5 intersect_count 1250726126136909824
PARAM_VALUE 6 register_offset 1551439551361294336
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 0-1000000000
UNITS 3 reg_cnt unit_byte

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_read_config_emu() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 0-1000000000,2147479552
PARAM_VALUE 2 reg_start 32
PARAM_VALUE 3 reg_cnt 8
PARAM_VALUE 4 buf_offset 3493710040835768320
PARAM_VALUE 5 intersect_count 1250726126136909824
PARAM_VALUE 6 register_offset 1551439551361294336
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 0-1000000000
UNITS 3 reg_cnt unit_byte

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_write_config_emu() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 0-1000000000,2147479552
PARAM_VALUE 2 reg_start 24
PARAM_VALUE 3 reg_cnt 8
PARAM_VALUE 4 buf_offset 3774855641615781888
PARAM_VALUE 5 intersect_count 8772309893526052864
PARAM_VALUE 6 register_offset 433198483916640256
DATA_SOURCE 1 buf_cnt $2
FUZZY_MAX 1 buf_cnt 2147479552
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 0-1000000000
UNITS 3 reg_cnt unit_byte

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_write_config_emu() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 0-1000000000,2147479552
PARAM_VALUE 2 reg_start 32
PARAM_VALUE 3 reg_cnt 8
PARAM_VALUE 4 buf_offset 3774855641615781888
PARAM_VALUE 5 intersect_count 8772309893526052864
PARAM_VALUE 6 register_offset 433198483916640256
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
FUZZY_MAX 1 buf_cnt 2147479552
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 0-1000000000
UNITS 3 reg_cnt unit_byte

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_read_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 2
PARAM_VALUE 3 reg_cnt 2
PARAM_VALUE 4 buf_offset 6264347440889872384
PARAM_VALUE 5 intersect_count 7650895058412572672
PARAM_VALUE 6 register_offset 7820157162366758912
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
UNITS 3 reg_cnt unit_byte

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_read_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 4
PARAM_VALUE 3 reg_cnt 2
PARAM_VALUE 4 buf_offset 6264347440889872384
PARAM_VALUE 5 intersect_count 7650895058412572672
PARAM_VALUE 6 register_offset 7820157162366758912
CAPPED_DATA 0 buf_start 1
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
USER_DATA 4 *buf_offset 0-2[c]
USER_DATA 5 *intersect_count 0-50[c]
USER_DATA 6 *register_offset 1-51[c]
UNITS 3 reg_cnt unit_byte
USER_PTR 4 buf_offset
USER_PTR 5 intersect_count
USER_PTR 6 register_offset

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_read_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 8
PARAM_VALUE 3 reg_cnt 1
PARAM_VALUE 4 buf_offset 6264347440889872384
PARAM_VALUE 5 intersect_count 7650895058412572672
PARAM_VALUE 6 register_offset 7820157162366758912
CAPPED_DATA 0 buf_start 1
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
USER_DATA 4 *buf_offset 0-4[c]
USER_DATA 5 *intersect_count 0-50[c]
USER_DATA 6 *register_offset 1-51[c]
UNITS 3 reg_cnt unit_byte
USER_PTR 4 buf_offset
USER_PTR 5 intersect_count
USER_PTR 6 register_offset

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_read_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 16
PARAM_VALUE 3 reg_cnt 4
PARAM_VALUE 4 buf_offset 6264347440889872384
PARAM_VALUE 5 intersect_count 7650895058412572672
PARAM_VALUE 6 register_offset 7820157162366758912
CAPPED_DATA 0 buf_start 1
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
USER_DATA 4 *buf_offset 0-8[c]
USER_DATA 5 *intersect_count 0-50[c]
USER_DATA 6 *register_offset 1-51[c]
UNITS 3 reg_cnt unit_byte
USER_PTR 4 buf_offset
USER_PTR 5 intersect_count
USER_PTR 6 register_offset

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_read_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 46
PARAM_VALUE 3 reg_cnt 2
PARAM_VALUE 4 buf_offset 6264347440889872384
PARAM_VALUE 5 intersect_count 7650895058412572672
PARAM_VALUE 6 register_offset 7820157162366758912
CAPPED_DATA 0 buf_start 1
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
USER_DATA 4 *buf_offset 0-16[c]
USER_DATA 5 *intersect_count 0-50[c]
USER_DATA 6 *register_offset 1-51[c]
UNITS 3 reg_cnt unit_byte
USER_PTR 4 buf_offset
USER_PTR 5 intersect_count
USER_PTR 6 register_offset

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_read_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 44
PARAM_VALUE 3 reg_cnt 2
PARAM_VALUE 4 buf_offset 6264347440889872384
PARAM_VALUE 5 intersect_count 7650895058412572672
PARAM_VALUE 6 register_offset 7820157162366758912
CAPPED_DATA 0 buf_start 1
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
USER_DATA 4 *buf_offset 0-45[c]
USER_DATA 5 *intersect_count 0-50[c]
USER_DATA 6 *register_offset 1-51[c]
UNITS 3 reg_cnt unit_byte
USER_PTR 4 buf_offset
USER_PTR 5 intersect_count
USER_PTR 6 register_offset

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_write_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 4
PARAM_VALUE 3 reg_cnt 2
PARAM_VALUE 4 buf_offset 6208243265017290752
PARAM_VALUE 5 intersect_count 3613923160008781824
PARAM_VALUE 6 register_offset 6530170845791318016
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
UNITS 3 reg_cnt unit_byte

drivers/vfio/pci/virtio/legacy_io.c virtiovf_pci_write_config() -> vfio_pci_core_range_intersect_range()

Type Parameter Key Value
PARAM_VALUE 0 buf_start 0-1000000000
PARAM_VALUE 1 buf_cnt 1-1000000000,2147479552
PARAM_VALUE 2 reg_start 16
PARAM_VALUE 3 reg_cnt 4
PARAM_VALUE 4 buf_offset 6208243265017290752
PARAM_VALUE 5 intersect_count 3613923160008781824
PARAM_VALUE 6 register_offset 6530170845791318016
CAPPED_DATA 0 buf_start 1
CAPPED_DATA 0 buf_start 1
DATA_SOURCE 1 buf_cnt $2
USER_DATA 0 buf_start 1-1000000000[c]
USER_DATA 1 buf_cnt 1-1000000000
USER_DATA 4 *buf_offset 0-4[c]
USER_DATA 5 *intersect_count 0-50[c]
USER_DATA 6 *register_offset 1-49[c]
UNITS 3 reg_cnt unit_byte
USER_PTR 4 buf_offset
USER_PTR 5 intersect_count
USER_PTR 6 register_offset