Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/hci_h5.c h5_complete_rx_pkt() -> h5_handle_internal_rx()

Type Parameter Key Value
PARAM_VALUE 0 hu 4096-ptr_max
PARAM_VALUE 0 hu->priv 4096-ptr_max
PARAM_VALUE 0 hu->proto 4096-ptr_max
PARAM_VALUE 0 hu->proto_lock.writer.task->delays->blkio_count 0-4294967295
PARAM_VALUE 0 hu->proto_lock.writer.task->kcov->mode 0-4294967295
PARAM_VALUE 0 hu->proto_lock.writer.task->kcov->remote 0-1
PARAM_VALUE 0 hu->proto_lock.writer.task->kcov->remote_size 0-4294967295
PARAM_VALUE 0 hu->proto_lock.writer.task->kcov_remote->mode 0-4294967295
PARAM_VALUE 0 hu->proto_lock.writer.task->kcov_remote->remote 0-1
PARAM_VALUE 0 hu->proto_lock.writer.task->kcov_remote->remote_size 0-4294967295
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->ptracer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 hu->proto_lock.writer.task->thread_pid->attr->exit_code s32min-s32max
BUF_SIZE 0 hu s32min-(-2),1-s32max
BUF_SIZE 0 hu s32min-(-2),1-s32max
DATA_SOURCE 0 hu $0
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &buf->lock
HALF_LOCKED2 &pool->lock