Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv6/route.c fib6_select_path() -> nexthop_path_fib6_result()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 168347169887920128,1565029624403046400,6489984386563125248,6795172478755725312,7594205183180591104 |
| PARAM_VALUE | 0 | res->f6i | 4096-ptr_max |
| PARAM_VALUE | 0 | res->f6i->nh | 1-u64max |
| PARAM_VALUE | 0 | res->rt6 | 0 |
| DATA_SOURCE | 0 | res | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |