Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/n_gsm.c gsm_data_queue() -> __gsm_data_queue()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->addr 0
PARAM_VALUE 1 msg->data 4096-ptr_max
PARAM_VALUE 1 msg->len 0-3999962
BUF_SIZE 1 msg 38-s32max
BUF_SIZE 1 msg 38-s32max
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 dlci $0
DATA_SOURCE 1 msg $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &dlci->gsm->tx_lock
TYPE_LOCK (struct gsm_mux)->tx_lock

drivers/tty/n_gsm.c gsm_dlci_data_output() -> __gsm_data_queue()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->constipated 0
PARAM_VALUE 0 dlci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dlci->net 0
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->__pad 0-255
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->__state 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->closid 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->dl.flags 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->exit_code s32min-s32max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->fail_nth 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->flags 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->frozen 0-1
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->il_prev s16min-s16max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->il_weight 0-255
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->in_execve 0-1
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->in_iowait 0-1
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->in_ubsan 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->kcov_mode 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->kcov_size 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->mce_count s32min-s32max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->mce_ripv 0-1
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->on_cpu 0-255
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->on_rq 0-1,3-255
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->pid s32min-s32max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->policy 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->prio s32min-s32max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->psi_flags 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->ptrace 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->rmid 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->rt.on_rq 0-u16max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->se.depth s32min-s32max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->se.on_rq 0-255
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->sessionid 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->tgid s32min-s32max
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->throttled 0-1
PARAM_VALUE 0 dlci->port.client_data->serdev->dev.driver_data->proto_lock.writer.task->wake_cpu 0-s32max
PARAM_VALUE 0 dlci->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dlci->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 dlci->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dlci->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 dlci->port.client_ops 4096-ptr_max
PARAM_VALUE 0 dlci->port.client_ops->lookahead_buf 0,5552213984272089088
PARAM_VALUE 0 dlci->port.client_ops->receive_buf 0,2070410949742354432,5991726090128461824
PARAM_VALUE 0 dlci->port.client_ops->write_wakeup 4180907491510067200,7004002109319299072
PARAM_VALUE 0 dlci->port.tty 0,4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->data 4096-ptr_max
PARAM_VALUE 1 msg->len 0-3999962
BUF_SIZE 0 dlci s32min-(-1),1-s32max
BUF_SIZE 0 dlci s32min-(-1),1-s32max
BUF_SIZE 0 dlci->gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
BUF_SIZE 1 msg 38-s32max
BUF_SIZE 1 msg 38-s32max
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 dlci $1
DATA_SOURCE 1 msg r gsm_data_alloc
BIT_INFO 1 msg->len 0x0,0x7fffffff
NOSPEC 0 dlci->addr
NOSPEC 1 msg->addr
NOSPEC 1 msg->len
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dlci->skb_list.next->csum_offset 0-u16max
HOST_DATA 0 dlci->skb_list.next->data_len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->prev->csum_offset 0-u16max
HOST_DATA 0 dlci->skb_list.next->prev->data_len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->prev->len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 dlci->skb_list.next->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 dlci->skb_list.next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 dlci->skb_list.next->users.refs.counter s32min-0,2-s32max
USER_DATA 0 dlci->addr 1-63[c]
USER_DATA 0 dlci->gsm->address 0-127[c][u]
USER_DATA 0 dlci->gsm->initiator 1[c]
USER_DATA 0 dlci->gsm->k 1-7
USER_DATA 0 dlci->gsm->keep_alive 0-u32max
USER_DATA 0 dlci->gsm->mru 8-1500[c]
USER_DATA 0 dlci->gsm->mtu 8-1500[c]
USER_DATA 0 dlci->gsm->n2 0-255
USER_DATA 0 dlci->gsm->t1 1-s32max[c]
USER_DATA 0 dlci->gsm->t2 1-s32max[c]
USER_DATA 0 dlci->gsm->t3 1-255
USER_DATA 0 dlci->k 1-7
USER_DATA 0 dlci->mtu 8-1500[c]
USER_DATA 0 dlci->prio 7-63
USER_DATA 1 msg->addr 1-63[c]
USER_DATA 1 msg->len 7-1501[c]
UNITS 0 dlci unit_byte
LOCK2 &gsm->tx_lock
LOCK2 flags
HALF_LOCKED2 0 &dlci->gsm->tx_lock
TYPE_LOCK (struct gsm_mux)->tx_lock

drivers/tty/n_gsm.c gsm_dlci_data_output_framed() -> __gsm_data_queue()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->constipated 0
PARAM_VALUE 0 dlci->port.client_ops->lookahead_buf 0,5552213984272089088
PARAM_VALUE 0 dlci->port.client_ops->receive_buf 0,2070410949742354432,5991726090128461824
PARAM_VALUE 0 dlci->port.client_ops->write_wakeup 0,4180907491510067200,7004002109319299072
PARAM_VALUE 0 dlci->skb 4096-ptr_max
PARAM_VALUE 0 dlci->skb->data 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->data 4096-ptr_max
PARAM_VALUE 1 msg->len 0-3999962
BUF_SIZE 0 dlci s32min-(-1),1-s32max
BUF_SIZE 0 dlci s32min-(-1),1-s32max
BUF_SIZE 0 dlci->gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
BUF_SIZE 1 msg 38-s32max
BUF_SIZE 1 msg 38-s32max
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 dlci $1
DATA_SOURCE 1 msg r gsm_data_alloc
BIT_INFO 1 msg->len 0x0,0x7fffffff
NOSPEC 0 dlci->addr
NOSPEC 1 msg->addr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dlci->skb_list.next->csum_offset 0-u16max
HOST_DATA 0 dlci->skb_list.next->data_len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->prev->csum_offset 0-u16max
HOST_DATA 0 dlci->skb_list.next->prev->data_len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->prev->len 0-u32max[c]
HOST_DATA 0 dlci->skb_list.next->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 dlci->skb_list.next->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 dlci->skb_list.next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 dlci->skb_list.next->users.refs.counter s32min-0,2-s32max
USER_DATA 0 dlci->addr 1-63[c]
USER_DATA 0 dlci->gsm->address 0-127[c][u]
USER_DATA 0 dlci->gsm->initiator 1[c]
USER_DATA 0 dlci->gsm->k 1-7
USER_DATA 0 dlci->gsm->keep_alive 0-u32max
USER_DATA 0 dlci->gsm->mru 8-1500[c]
USER_DATA 0 dlci->gsm->mtu 8-1500[c]
USER_DATA 0 dlci->gsm->n2 0-255
USER_DATA 0 dlci->gsm->t1 1-s32max[c]
USER_DATA 0 dlci->gsm->t2 1-s32max[c]
USER_DATA 0 dlci->gsm->t3 1-255
USER_DATA 0 dlci->k 1-7
USER_DATA 0 dlci->mtu 8-1500[c]
USER_DATA 0 dlci->prio 7-63
USER_DATA 1 msg->addr 1-63[c]
USER_DATA 1 msg->len 9-1501[c]
UNITS 0 dlci unit_byte
USER_PTR 0 dlci->skb->data
LOCK2 &gsm->tx_lock
LOCK2 flags
HALF_LOCKED2 0 &dlci->gsm->tx_lock
TYPE_LOCK (struct gsm_mux)->tx_lock

drivers/tty/n_gsm.c gsm_dlci_modem_output() -> __gsm_data_queue()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->adaption 1-2
PARAM_VALUE 0 dlci->gsm 4096-ptr_max
PARAM_VALUE 0 dlci->gsm->dead 0
PARAM_VALUE 0 dlci->state 4
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->data 4096-ptr_max
PARAM_VALUE 1 msg->len 0-2
BUF_SIZE 0 dlci s32min-(-1),1-s32max
BUF_SIZE 0 dlci s32min-(-1),1-s32max
BUF_SIZE 1 msg 38-40
BUF_SIZE 1 msg 38-40
DATA_SOURCE 0 dlci $1
DATA_SOURCE 1 msg r gsm_data_alloc
FUZZY_MAX 1 msg->len 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dlci->modem_tx 0-u32max[c][u]
UNITS 0 dlci unit_byte
LOCK2 &gsm->tx_lock
LOCK2 flags
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct gsm_mux)->tx_lock