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_t1() -> gsm_dlci_open()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->addr 0
PARAM_VALUE 0 dlci->gsm 4096-ptr_max
PARAM_VALUE 0 dlci->gsm->control 31
PARAM_VALUE 0 dlci->mode 1
PARAM_VALUE 0 dlci->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/n_gsm.c gsm_queue() -> gsm_dlci_open()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->dead 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
BUF_SIZE 0 dlci (-1),1512
BUF_SIZE 0 dlci (-1),1512
BUF_SIZE 0 dlci->gsm (-1),16,120,192,376,480,512,520,1552,4648,9144
NOSPEC 0 dlci->addr
NOCHECK_CALL
USER_DATA 0 dlci->addr 1-63[c]
USER_DATA 0 dlci->gsm->address 0-2097151[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
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->port->buf.lock

drivers/tty/n_gsm.c gsm_queue() -> gsm_dlci_open()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->state 3
NOCHECK_CALL
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->port->buf.lock