Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/route.c ip_route_input_slow() -> rt_cache_route()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nhc | 4096-ptr_max |
| PARAM_VALUE | 0 | nhc->nhc_lwtstate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rt | 4096-ptr_max |
| PARAM_VALUE | 1 | rt->dst.lwtstate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rt->dst.output | 2217534698156650496 |
| PARAM_VALUE | 1 | rt->rt_flags | 0,268435456,2147483648,2415919104 |
| PARAM_VALUE | 1 | rt->rt_gw4 | 0 |
| PARAM_VALUE | 1 | rt->rt_gw_family | 0 |
| PARAM_VALUE | 1 | rt->rt_iif | 0 |
| PARAM_VALUE | 1 | rt->rt_is_input | 1 |
| PARAM_VALUE | 1 | rt->rt_mtu_locked | 0 |
| PARAM_VALUE | 1 | rt->rt_pmtu | 0 |
| PARAM_VALUE | 1 | rt->rt_type | 2-3,7 |
| PARAM_VALUE | 1 | rt->rt_uses_gateway | 0 |
| DATA_SOURCE | 1 | rt | r rt_dst_alloc |
| PARAM_COMPARE | 0 | nhc->nhc_lwtstate | == $1->dst.lwtstate |
| BIT_INFO | 1 | rt->rt_flags | 0x0,0x90000000 |
| BIT_INFO | 1 | rt->rt_type | 0x2,0x7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->stats.tx_bytes | |
| LOCK2 | rcu_read |
net/ipv4/route.c rt_set_nexthop() -> rt_cache_route()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nhc | 4096-ptr_max |
| PARAM_VALUE | 0 | nhc->nhc_lwtstate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rt | 4096-ptr_max |
| PARAM_VALUE | 1 | rt->dst.lwtstate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rt->dst.output | 1681878067841851392,3309956784800464896,7099098218899050496 |
| PARAM_VALUE | 1 | rt->rt_flags | 0,536870912,2147483648,2415919104,2684354560 |
| PARAM_VALUE | 1 | rt->rt_is_input | 0-1 |
| PARAM_VALUE | 1 | rt->rt_mtu_locked | 0 |
| PARAM_VALUE | 1 | rt->rt_pmtu | 0 |
| PARAM_VALUE | 1 | rt->rt_type | 0-255 |
| PARAM_VALUE | 1 | rt->rt_uses_gateway | 0-1 |
| DATA_SOURCE | 1 | rt | $0 |
| FUZZY_MAX | 1 | rt->rt_uses_gateway | 1 |
| PARAM_COMPARE | 0 | nhc->nhc_lwtstate | == $1->dst.lwtstate |
| BIT_INFO | 0 | nhc | 0x0,0x7fffffffffffffff |
| BIT_INFO | 0 | nhc | 0x0,0x7fffffffffffffff |
| BIT_INFO | 1 | rt->dst.output | 0x5102001000000,0x7fff7f3fbffff000 |
| BIT_INFO | 1 | rt->rt_flags | 0x0,0xb0000000 |
| HARD_MAX | 1 | rt->rt_is_input | 1 |
| HARD_MAX | 1 | rt->rt_uses_gateway | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | rt->rt_iif | s32min-(-1),1-s32max |
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | rt->dev->stats.tx_bytes | |
| LOCK2 | rcu_read |