Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btintel_pcie.c btintel_pcie_read_device_mem() -> btintel_pcie_rd_dev_mem()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->base_addr 4096-ptr_max
PARAM_VALUE 0 data->hdev 1-u64max
DATA_SOURCE 0 data $0
DATA_SOURCE 1 addr $2 [m]
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->base_addr 4096-ptr_max
PARAM_VALUE 1 addr 4040545564,4085252892
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
DATA_SOURCE 0 data $0
FUZZY_MAX 1 addr 4085252892
BIT_INFO 1 addr 0xf080011c,0xf3d5d71c
HARD_MAX 1 addr 4085252892
UNITS 0 data unit_byte
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->base_addr 4096-ptr_max
PARAM_VALUE 1 addr 4040545580,4085252908
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
DATA_SOURCE 0 data $0
FUZZY_MAX 1 addr 4085252908
BIT_INFO 1 addr 0xf080012c,0xf3d5d72c
HARD_MAX 1 addr 4085252908
UNITS 0 data unit_byte
HALF_LOCKED2 &pool->lock