Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv6/route.c __ip6_rt_update_pmtu() -> rt6_insert_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nrt | 4096-ptr_max |
| PARAM_VALUE | 0 | nrt->dst.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | nrt->dst.dev->nd_net.net | 4096-ptr_max |
| PARAM_VALUE | 0 | nrt->dst.error | (-113),(-22),(-13),(-11),0 |
| PARAM_VALUE | 0 | nrt->dst.expires | 1-u64max |
| PARAM_VALUE | 0 | nrt->dst.input | 1085213014602391552,1459235060270694400,1783762990822887424,6867859413902737408,8240822772579913728,8371507639691730944,8442701487233740800 |
| PARAM_VALUE | 0 | nrt->dst.lwtstate | 1-u64max |
| PARAM_VALUE | 0 | nrt->dst.lwtstate->orig_input | 1783762990822887424,8240822772579913728,8442701487233740800 |
| PARAM_VALUE | 0 | nrt->dst.lwtstate->orig_output | 3542095022991495168,8339822976769409024 |
| PARAM_VALUE | 0 | nrt->dst.output | 1359104979572629504,2029074294825594880,3542095022991495168,5088972849622437888,7508766211280719872,8339822976769409024 |
| PARAM_VALUE | 0 | nrt->from | 4096-ptr_max |
| PARAM_VALUE | 0 | nrt->rt6i_dst.plen | 128 |
| PARAM_VALUE | 0 | nrt->rt6i_flags | 0,4194304-u32max |
| PARAM_VALUE | 0 | nrt->rt6i_idev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nrt->rt6i_idev->refcnt.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | res | 857776497768964096 |
| PARAM_VALUE | 1 | res->f6i | 4096-ptr_max |
| PARAM_VALUE | 1 | res->rt6 | 0 |
| CAPPED_DATA | 0 | nrt->dst.dev->nd_net.net | 1 |
| DATA_SOURCE | 0 | nrt | r ip6_rt_cache_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->stats.tx_bytes | |
| LOCK2 | rcu_read |
net/ipv6/route.c rt6_do_redirect() -> rt6_insert_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nrt | 4096-ptr_max |
| PARAM_VALUE | 0 | nrt->dst.error | (-113),(-22),(-13),(-11),0 |
| PARAM_VALUE | 0 | nrt->dst.input | 1085213014602391552,1459235060270694400,1783762990822887424,6867859413902737408,8240822772579913728,8371507639691730944,8442701487233740800 |
| PARAM_VALUE | 0 | nrt->dst.lwtstate | 1-u64max |
| PARAM_VALUE | 0 | nrt->dst.lwtstate->orig_input | 1783762990822887424,8240822772579913728,8442701487233740800 |
| PARAM_VALUE | 0 | nrt->dst.lwtstate->orig_output | 3542095022991495168,8339822976769409024 |
| PARAM_VALUE | 0 | nrt->dst.output | 1359104979572629504,2029074294825594880,3542095022991495168,5088972849622437888,7508766211280719872,8339822976769409024 |
| PARAM_VALUE | 0 | nrt->from | 4096-ptr_max |
| PARAM_VALUE | 0 | nrt->rt6i_dst.plen | 128 |
| PARAM_VALUE | 0 | nrt->rt6i_flags | 16777233,16777235 |
| PARAM_VALUE | 0 | nrt->rt6i_idev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nrt->rt6i_idev->refcnt.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | res | 3117781033755639808 |
| PARAM_VALUE | 1 | res->f6i | 4096-ptr_max |
| PARAM_VALUE | 1 | res->rt6 | 0 |
| DATA_SOURCE | 0 | nrt | r ip6_rt_cache_alloc |
| FUZZY_MAX | 0 | nrt->rt6i_flags | 16777235 |
| BIT_INFO | 0 | nrt->rt6i_flags | 0x1000011,0x1000013 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | nrt->dev->stats.tx_bytes | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock |