Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btnxpuart.c nxp_recv_chip_ver_v1() -> nxp_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 ack 90
PARAM_VALUE 1 hdev 4096-ptr_max
DATA_SOURCE 1 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btnxpuart.c nxp_recv_chip_ver_v3() -> nxp_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 ack 122
PARAM_VALUE 1 hdev 4096-ptr_max
PARAM_VALUE 1 hdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 1 hdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 *hdev->dev.driver_data->fw_name 0-255
DATA_SOURCE 1 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btnxpuart.c nxp_recv_fw_req_v1() -> nxp_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 ack 191
PARAM_VALUE 1 hdev 4096-ptr_max
DATA_SOURCE 1 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btnxpuart.c nxp_recv_fw_req_v1() -> nxp_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 ack 90
PARAM_VALUE 1 hdev 4096-ptr_max
DATA_SOURCE 1 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btnxpuart.c nxp_recv_fw_req_v3() -> nxp_send_ack()

Type Parameter Key Value
PARAM_VALUE 0 ack 122
PARAM_VALUE 1 hdev 4096-ptr_max
DATA_SOURCE 1 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock