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_cleanup_mux() -> gsm_dlci_begin_close()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->state 1-u32max
RX_PATH
NOCHECK_CALL
LOCK2 &gsm->mutex
LOCK2 &tty->ldisc_sem
TYPE_LOCK (struct gsm_mux)->mutex
TYPE_LOCK (struct tty_struct)->ldisc_sem

drivers/tty/n_gsm.c gsm_control_keep_alive() -> gsm_dlci_begin_close()

Type Parameter Key Value
PARAM_VALUE 0 dlci 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/n_gsm.c gsm_control_message() -> gsm_dlci_begin_close()

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

drivers/tty/n_gsm.c gsm_dlci_config() -> gsm_dlci_begin_close()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->gsm 4096-ptr_max
PARAM_VALUE 0 dlci->gsm->mru 8-u32max
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 0,2-u32max
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
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
UNITS 0 dlci unit_byte
HALF_LOCKED2 &tty->ldisc_sem

drivers/tty/n_gsm.c gsm_dlci_t1() -> gsm_dlci_begin_close()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->gsm 4096-ptr_max
PARAM_VALUE 0 dlci->state 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/n_gsm.c gsm_dlci_t1() -> gsm_dlci_begin_close()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->gsm 4096-ptr_max
PARAM_VALUE 0 dlci->retries 0
PARAM_VALUE 0 dlci->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/n_gsm.c gsmtty_close() -> gsm_dlci_begin_close()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->mutex.dep_map->name 0-255
PARAM_VALUE 0 dlci->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dlci->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dlci->mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dlci->mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dlci->mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dlci->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dlci->mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dlci->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dlci->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dlci->net->priv->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dlci->port.count 0
PARAM_VALUE 0 dlci->state 1-u32max
BUF_SIZE 0 dlci s32min-(-2),1-s32max
BUF_SIZE 0 dlci s32min-(-2),1-s32max
CAPPED_DATA 0 &dlci->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dlci unit_byte
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 global &spk_mutex

drivers/tty/n_gsm.c gsmtty_hangup() -> gsm_dlci_begin_close()

Type Parameter Key Value
PARAM_VALUE 0 dlci 4096-ptr_max
PARAM_VALUE 0 dlci->port.count 0
PARAM_VALUE 0 dlci->port.ops->dtr_rts 0,4096-ptr_max
PARAM_VALUE 0 dlci->port.ops->shutdown 0,4096-ptr_max
PARAM_VALUE 0 dlci->port.tty 0
PARAM_VALUE 0 dlci->port.xmit_buf 0
PARAM_VALUE 0 dlci->state 1-u32max
BUF_SIZE 0 dlci s32min-(-2),1-s32max
BUF_SIZE 0 dlci s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dlci unit_byte
LOCK2 &tty->legacy_mutex
HALF_LOCKED2 &tty->driver_data->d_lockref.lock
TYPE_LOCK (struct tty_struct)->legacy_mutex