Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btnxpuart.c btnxpuart_receive_buf() -> ind_reset_in_progress()

Type Parameter Key Value
PARAM_VALUE 0 nxpdev 4096-ptr_max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
CAPPED_DATA 0 nxpdev->rx_skb 1
UNITS 0 nxpdev unit_byte
USER_PTR 0 nxpdev->rx_skb->data
LOCK2 &buf->lock
LOCK2 &pool->lock
TYPE_LOCK (struct tty_bufhead)->lock

drivers/bluetooth/btnxpuart.c btnxpuart_receive_buf() -> ind_reset_in_progress()

Type Parameter Key Value
PARAM_VALUE 0 nxpdev 4096-ptr_max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
BUF_SIZE 0 nxpdev->rx_skb (-1)-s32max
CAPPED_DATA 0 nxpdev->rx_skb 1
UNITS 0 nxpdev unit_byte
USER_PTR 0 nxpdev->rx_skb->data
LOCK2 &buf->lock
LOCK2 &pool->lock
TYPE_LOCK (struct tty_bufhead)->lock

drivers/bluetooth/btnxpuart.c nxp_check_boot_sign() -> ind_reset_in_progress()

Type Parameter Key Value
PARAM_VALUE 0 nxpdev 4096-ptr_max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
DATA_SOURCE 0 nxpdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 nxpdev unit_byte
LOCK2 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock

drivers/bluetooth/btnxpuart.c nxp_reset() -> ind_reset_in_progress()

Type Parameter Key Value
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 nxpdev unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btnxpuart.c nxp_shutdown() -> ind_reset_in_progress()

Type Parameter Key Value
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
BUF_SIZE 0 nxpdev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 nxpdev unit_byte
LOCK2 &hdev->req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hci_dev)->req_lock