Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_gre.c ipgre_changelink() -> ipgre_link_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mtu 68-s32max
PARAM_VALUE 0 dev->priv->encap.type 0
PARAM_VALUE 0 dev->priv->hlen s32min-s32max
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->nd_net.net 1
CAPPED_DATA 0 dev->rtnl_link_ops 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

net/ipv4/ip_gre.c ipgre_tunnel_ctl() -> ipgre_link_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mtu 68-s32max
PARAM_VALUE 0 dev->priv->encap.type 0-u16max
PARAM_VALUE 0 dev->priv->hlen s32min-s32max
PARAM_VALUE 0 dev->priv->tun_hlen s32min-s32max
PARAM_VALUE 1 set_mtu 1
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
RX_PATH
NOCHECK_CALL
USER_DATA 0 *dev->broadcast 0-255
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex