Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btintel_pcie.c btintel_pcie_dump_traces() -> btintel_pcie_release_mac_access()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->base_addr 4096-ptr_max
PARAM_VALUE 0 data->dbgc.count 0,16
PARAM_VALUE 0 data->dmp_hdr.write_ptr 0-20709375
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
NOCHECK_CALL
HOST_DATA 0 data->dmp_hdr.wrap_ctr 0-u32max
UNITS 0 data unit_byte
HALF_LOCKED2 &pool->lock

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

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
NOCHECK_CALL
HALF_LOCKED2 &pool->lock