Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/n_gsm.c gsm_control_negotiation() -> gsm_dlci_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlci | 4096-ptr_max |
| PARAM_VALUE | 0 | dlci->state | 0-3,5-u32max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &gsm->control_lock | ||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &tty->port->buf.lock | ||
| HALF_LOCKED2 | flags |
drivers/tty/n_gsm.c gsm_dlci_begin_open() -> gsm_dlci_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlci | 4096-ptr_max |
| PARAM_VALUE | 0 | dlci->addr | s32min-(-1),1-s32max |
| 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->state | 2 |
| 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 |
| DATA_SOURCE | 0 | dlci | $0 |
| NOSPEC | 0 | dlci->addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | dlci->addr | 1-63[c] |
| USER_DATA | 0 | dlci->gsm->address | 0-16383[c][u] |
| USER_DATA | 0 | dlci->gsm->control | 63 |
| 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->len | 0-u32max[c] |
| 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 | 1-63[c] |
| USER_DATA | 0 | dlci->retries | 0-255 |
| UNITS | 0 | dlci | unit_byte |
| HALF_LOCKED2 | &tty->ldisc_sem |
drivers/tty/n_gsm.c gsm_dlci_t1() -> gsm_dlci_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlci | 4096-ptr_max |
| PARAM_VALUE | 0 | dlci->retries | 0 |
| PARAM_VALUE | 0 | dlci->state | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/tty/n_gsm.c gsm_queue() -> gsm_dlci_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlci | 4096-ptr_max |
| PARAM_VALUE | 0 | dlci->state | 1-u32max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &tty->port->buf.lock |
drivers/tty/n_gsm.c gsm_queue() -> gsm_dlci_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlci | 4096-ptr_max |
| PARAM_VALUE | 0 | dlci->state | 5 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &tty->port->buf.lock |
drivers/tty/n_gsm.c gsm_queue() -> gsm_dlci_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlci | 1-u64max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &tty->port->buf.lock |