Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mpls/af_mpls.c mpls_dump_routes() -> mpls_dump_route()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 3 event 24
PARAM_VALUE 4 label 16-u32max
PARAM_VALUE 5 rt 1-u64max
PARAM_VALUE 6 flags 2,34
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb->sk->__sk_common.skc_net.net 1
CAPPED_DATA 4 label 1
DATA_SOURCE 0 skb $0
FUZZY_MAX 4 label 16
BIT_INFO 6 flags 0x2,0x22
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->sk->sk_backlog.len
UNITS 4 label unit_array_size
LOCK2 rcu_read

net/mpls/af_mpls.c mpls_getroute() -> mpls_dump_route()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 3 event 24
PARAM_VALUE 5 rt 4096-ptr_max
PARAM_VALUE 5 rt->rt_nh->nh_flags 0-4294967295
PARAM_VALUE 5 rt->rt_nh->nh_labels 0-255
PARAM_VALUE 5 rt->rt_nh->nh_reserved1 0-255
PARAM_VALUE 5 rt->rt_nh->nh_via_alen 0-255
PARAM_VALUE 5 rt->rt_nh->nh_via_table 0-255
PARAM_VALUE 6 flags 0
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 4 label 1
CAPPED_DATA 5 rt->rt_nhn 1
DATA_SOURCE 0 skb r nlmsg_new
DATA_SOURCE 5 rt r mpls_route_input
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 seq 0-u32max[u]
UNITS 4 label unit_array_size
LOCK2 &net->mpls.platform_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct netns_mpls)->platform_mutex

net/mpls/af_mpls.c rtmsg_lfib() -> mpls_dump_route()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 3 event 24-25
PARAM_VALUE 4 label 16-u32max
PARAM_VALUE 5 rt 4096-ptr_max
PARAM_VALUE 5 rt->rt_nh->nh_flags 0-4294967295
PARAM_VALUE 5 rt->rt_nh->nh_labels 0-255
PARAM_VALUE 5 rt->rt_nh->nh_reserved1 0-255
PARAM_VALUE 5 rt->rt_nh->nh_via_alen 0-255
PARAM_VALUE 5 rt->rt_nh->nh_via_table 0-255
PARAM_VALUE 6 flags 0,256
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 5 rt (-1),32-4096
BUF_SIZE 5 rt (-1),32-4096
CAPPED_DATA 5 rt->rt_nhn 1
DATA_SOURCE 0 skb r nlmsg_new
DATA_SOURCE 1 portid $5
DATA_SOURCE 3 event $0
DATA_SOURCE 4 label $1
DATA_SOURCE 5 rt $2
DATA_SOURCE 6 flags $6
FUZZY_MAX 3 event 25
FUZZY_MAX 4 label 16
BIT_INFO 3 event 0x18,0x19
BIT_INFO 6 flags 0x0,0x100
HARD_MAX 3 event 25
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 seq 0-u32max[u]
USER_DATA 5 rt->rt_nh_size 0-255[c]
USER_DATA 5 rt->rt_protocol 0-255
UNITS 4 label unit_array_size
HALF_LOCKED2 &net->mpls.platform_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
TYPE_LOCK (struct netns_mpls)->platform_mutex