Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/ppp/pptp.c pptp_bind() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

drivers/net/ppp/pptp.c pptp_connect() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

drivers/net/ppp/pptp.c pptp_create() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &bt_proto_lock

drivers/net/ppp/pptp.c pptp_getname() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 &qp->state_lock

drivers/net/ppp/pptp.c pptp_ppp_ioctl() -> pppox_sk()

Type Parameter Key Value
BUF_SIZE 0 sk 144,512,4648
BUF_SIZE 0 sk 144,512,4648
UNITS 0 sk unit_byte
LOCK2 &pch->chan_sem
LOCK2 global &ppp_mutex
TYPE_LOCK (struct channel)->chan_sem

drivers/net/ppp/pptp.c pptp_rcv_core() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_prot (-1),448
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

drivers/net/ppp/pptp.c pptp_release() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 &inode->i_rwsem

drivers/net/ppp/pptp.c pptp_sock_destruct() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
BIT_INFO 0 sk->__sk_common.skc_state 0x0,0xef
RX_PATH
TASK_NOT_RUNNING

drivers/net/ppp/pptp.c pptp_xmit() -> pppox_sk()

Type Parameter Key Value
BUF_SIZE 0 sk 144,512,4648
BUF_SIZE 0 sk 144,512,4648
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &pch->downl
HALF_LOCKED2 &pchb->downl
HALF_LOCKED2 &ppp->wlock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct channel)->downl

drivers/net/ppp/pppoe.c pppoe_connect() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

drivers/net/ppp/pppoe.c pppoe_create() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &bt_proto_lock

drivers/net/ppp/pppoe.c pppoe_create() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &bt_proto_lock

drivers/net/ppp/pppoe.c pppoe_create() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &bt_proto_lock

drivers/net/ppp/pppoe.c pppoe_create() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &bt_proto_lock

drivers/net/ppp/pppoe.c pppoe_create() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &bt_proto_lock

drivers/net/ppp/pppoe.c pppoe_fill_forward_path() -> pppox_sk()

Type Parameter Key Value
BUF_SIZE 0 sk 144,512,4648
BUF_SIZE 0 sk 144,512,4648
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 global &flow_offload_mutex
HALF_LOCKED2 global &mtk_flow_offload_mutex
HALF_LOCKED2 rcu_read

drivers/net/ppp/pppoe.c pppoe_getname() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 &qp->state_lock

drivers/net/ppp/pppoe.c pppoe_getname() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 &qp->state_lock

drivers/net/ppp/pppoe.c pppoe_getname() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 &qp->state_lock

drivers/net/ppp/pppoe.c pppoe_ioctl() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte
LOCK2 sk

drivers/net/ppp/pppoe.c pppoe_rcv_core() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_prot (-1),448
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

drivers/net/ppp/pppoe.c pppoe_release() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 &inode->i_rwsem

drivers/net/ppp/pppoe.c pppoe_sendmsg() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

drivers/net/ppp/pppoe.c pppoe_xmit() -> pppox_sk()

Type Parameter Key Value
BUF_SIZE 0 sk 144,512,4648
BUF_SIZE 0 sk 144,512,4648
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &pch->downl
HALF_LOCKED2 &pchb->downl
HALF_LOCKED2 &ppp->wlock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct channel)->downl

net/l2tp/l2tp_ppp.c pppol2tp_connect() -> pppox_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

net/l2tp/l2tp_ppp.c pppol2tp_recv() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk r pppol2tp_session_get_sock
BIT_INFO 0 sk->__sk_common.skc_state 0x2,0xff
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/l2tp/l2tp_ppp.c pppol2tp_seq_session_show() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk r pppol2tp_session_get_sock
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
LOCK2 rcu_read
TYPE_LOCK (struct seq_file)->lock

net/l2tp/l2tp_ppp.c pppol2tp_show() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk r pppol2tp_session_get_sock
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
LOCK2 rcu_read
TYPE_LOCK (struct seq_file)->lock

drivers/net/ppp/pppox.c pppox_ioctl() -> pppox_sk()

Type Parameter Key Value
UNITS 0 sk unit_byte
HALF_LOCKED2 &smc->sk

drivers/net/ppp/pppox.c pppox_unbind_sock() -> pppox_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk (-1),1480
BUF_SIZE 0 sk (-1),1480
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->data_len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk