Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 gsm 4096-ptr_max
PARAM_VALUE 0 gsm->tx_bytes 0
PARAM_VALUE 1 dlci 4096-ptr_max
PARAM_VALUE 1 dlci->constipated 0
PARAM_VALUE 1 dlci->gsm 4096-ptr_max
PARAM_VALUE 1 dlci->gsm->tx_bytes 0
PARAM_VALUE 1 dlci->net 1-u64max
PARAM_VALUE 1 dlci->port.client_ops->lookahead_buf 0,5552213984272089088
PARAM_VALUE 1 dlci->port.client_ops->receive_buf 0,2070410949742354432,5991726090128461824
PARAM_VALUE 1 dlci->port.client_ops->write_wakeup 0,4180907491510067200,7004002109319299072
BUF_SIZE 0 gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
BUF_SIZE 0 gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
BUF_SIZE 1 dlci s32min-(-1),1-s32max
BUF_SIZE 1 dlci s32min-(-1),1-s32max
BUF_SIZE 1 dlci->gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
DATA_SOURCE 1 dlci $0
NOSPEC 1 dlci->addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dlci->skb_list.next->csum_offset 0-u16max
HOST_DATA 1 dlci->skb_list.next->data_len 0-u32max[c]
HOST_DATA 1 dlci->skb_list.next->len 0-u32max[c]
HOST_DATA 1 dlci->skb_list.next->prev->csum_offset 0-u16max
HOST_DATA 1 dlci->skb_list.next->prev->data_len 0-u32max[c]
HOST_DATA 1 dlci->skb_list.next->prev->len 0-u32max[c]
HOST_DATA 1 dlci->skb_list.next->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 dlci->skb_list.next->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 dlci->skb_list.next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 dlci->skb_list.next->users.refs.counter s32min-0,2-s32max
USER_DATA 0 gsm->address 0-16383[c][u]
USER_DATA 0 gsm->control 63
USER_DATA 0 gsm->initiator 1[c]
USER_DATA 0 gsm->k 1-7
USER_DATA 0 gsm->keep_alive 0-u32max
USER_DATA 0 gsm->len 0-u32max[c]
USER_DATA 0 gsm->mru 8-1500[c]
USER_DATA 0 gsm->mtu 8-1500[c]
USER_DATA 0 gsm->n2 0-255
USER_DATA 0 gsm->t1 1-s32max[c]
USER_DATA 0 gsm->t2 1-s32max[c]
USER_DATA 0 gsm->t3 1-255
USER_DATA 1 dlci->addr 1-63[c]
USER_DATA 1 dlci->gsm->address 0-16383[c][u]
USER_DATA 1 dlci->gsm->control 63
USER_DATA 1 dlci->gsm->initiator 1[c]
USER_DATA 1 dlci->gsm->k 1-7
USER_DATA 1 dlci->gsm->keep_alive 0-u32max
USER_DATA 1 dlci->gsm->len 0-u32max[c]
USER_DATA 1 dlci->gsm->mru 8-1500[c]
USER_DATA 1 dlci->gsm->mtu 8-1500[c]
USER_DATA 1 dlci->gsm->n2 0-255
USER_DATA 1 dlci->gsm->t1 1-s32max[c]
USER_DATA 1 dlci->gsm->t2 1-s32max[c]
USER_DATA 1 dlci->gsm->t3 1-255
USER_DATA 1 dlci->k 1-7
USER_DATA 1 dlci->mtu 8-1500[c]
USER_DATA 1 dlci->prio 7-63
UNITS 1 dlci unit_byte
LOCK2 flags
LOCK2 0 &gsm->tx_lock
LOCK2 1 &dlci->gsm->tx_lock
TYPE_LOCK (struct gsm_mux)->tx_lock

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

Type Parameter Key Value
PARAM_VALUE 0 gsm 4096-ptr_max
PARAM_VALUE 0 gsm->dlci 4096-ptr_max
PARAM_VALUE 0 gsm->tx_bytes 0-8191
PARAM_VALUE 1 dlci 4096-ptr_max
PARAM_VALUE 1 dlci->constipated 0
PARAM_VALUE 1 dlci->state 4
BUF_SIZE 0 gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
BUF_SIZE 0 gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
DATA_SOURCE 0 gsm $0
FUZZY_MAX 0 gsm->tx_bytes 2047
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gsm->address 0-127[c][u]
USER_DATA 0 gsm->initiator 1[c]
USER_DATA 0 gsm->k 1-7
USER_DATA 0 gsm->keep_alive 0-u32max
USER_DATA 0 gsm->mru 8-1500[c]
USER_DATA 0 gsm->mtu 8-1500[c]
USER_DATA 0 gsm->n2 0-255
USER_DATA 0 gsm->t1 1-s32max[c]
USER_DATA 0 gsm->t2 1-s32max[c]
USER_DATA 0 gsm->t3 1-255
LOCK2 flags
LOCK2 0 &gsm->tx_lock
TYPE_LOCK (struct gsm_mux)->tx_lock