Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/l2tp/l2tp_ppp.c pppol2tp_ioctl() -> pppol2tp_copy_stats()

Type Parameter Key Value
PARAM_VALUE 0 dest 3882123253264777216
PARAM_VALUE 1 stats 4096-ptr_max
NOCHECK_CALL
LOCK2 sk

net/l2tp/l2tp_ppp.c pppol2tp_tunnel_copy_stats() -> pppol2tp_copy_stats()

Type Parameter Key Value
PARAM_VALUE 0 dest 3882123253264777216
PARAM_VALUE 0 dest->session_id 0
PARAM_VALUE 1 stats 4096-ptr_max
DATA_SOURCE 0 dest $0
NOCHECK_CALL
USER_DATA 0 dest->rx_bytes 0-u64max
USER_DATA 0 dest->rx_errors 0-u64max
USER_DATA 0 dest->rx_oos_packets 0-u64max
USER_DATA 0 dest->rx_packets 0-u64max
USER_DATA 0 dest->rx_seq_discards 0-u64max
USER_DATA 0 dest->session_id 0
USER_DATA 0 dest->tunnel_id 0-u16max
USER_DATA 0 dest->tx_bytes 0-u64max
USER_DATA 0 dest->tx_errors 0-u64max
USER_DATA 0 dest->tx_packets 0-u64max
LOCK2 sk
HALF_LOCKED2 &smc->sk

net/l2tp/l2tp_ppp.c pppol2tp_tunnel_copy_stats() -> pppol2tp_copy_stats()

Type Parameter Key Value
PARAM_VALUE 0 dest 3882123253264777216
PARAM_VALUE 0 dest->session_id 1-u16max
PARAM_VALUE 1 stats 4096-ptr_max
DATA_SOURCE 0 dest $0
NOCHECK_CALL
USER_DATA 0 dest->rx_bytes 0-u64max
USER_DATA 0 dest->rx_errors 0-u64max
USER_DATA 0 dest->rx_oos_packets 0-u64max
USER_DATA 0 dest->rx_packets 0-u64max
USER_DATA 0 dest->rx_seq_discards 0-u64max
USER_DATA 0 dest->session_id 1-u16max
USER_DATA 0 dest->tunnel_id 0-u16max
USER_DATA 0 dest->tx_bytes 0-u64max
USER_DATA 0 dest->tx_errors 0-u64max
USER_DATA 0 dest->tx_packets 0-u64max
LOCK2 sk
HALF_LOCKED2 &smc->sk