Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 1 type 9
PARAM_VALUE 2 data 236733019512680448
PARAM_VALUE 3 size 0-18446744073709551613
BUF_SIZE 2 data 64
STR_LEN 0 dest 0-18446744073709551613
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 10
PARAM_VALUE 2 data 1430543189683986432
PARAM_VALUE 2 *data 0-255
PARAM_VALUE 3 size 63
BUF_SIZE 2 data 64
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
STR_LEN 0 dest 63
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 7
PARAM_VALUE 2 data 5208418044431314944
PARAM_VALUE 2 *data 0-255
PARAM_VALUE 3 size 127
BUF_SIZE 2 data 128
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
STR_LEN 0 dest 127
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 8
PARAM_VALUE 2 data 6299485496948117504
PARAM_VALUE 2 *data 0-255
PARAM_VALUE 3 size 127
BUF_SIZE 2 data 128
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
STR_LEN 0 dest 127
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 0
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 size 4
BUF_SIZE 2 data 4
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 1
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 2 *data 0-20709375
PARAM_VALUE 3 size 4
BUF_SIZE 2 data 4
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 2
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 size 4
BUF_SIZE 2 data 4
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 3
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 size 2
BUF_SIZE 2 data 2
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 4
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 size 4
BUF_SIZE 2 data 4
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 5
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 size 4
BUF_SIZE 2 data 4
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 6
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 3 size 4
BUF_SIZE 2 data 4
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 11
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 2 *data 1-255
PARAM_VALUE 3 size 1
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_dram_buffers() -> btintel_pcie_copy_tlv()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 1 type 12
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 2 *data 1-u16max
PARAM_VALUE 3 size 2
BUF_SIZE 2 data 2
DATA_SOURCE 0 dest r btintel_pcie_copy_tlv
UNITS 3 size unit_byte
HALF_LOCKED2 &pool->lock