Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/fib_semantics.c fib_select_default() -> fib_result_assign()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 429988801965383680,4240960965415747584,7684502420953772032,7934135933787738112,8909405672440926208 |
| PARAM_VALUE | 0 | res->fi | 4096-ptr_max |
| PARAM_VALUE | 0 | res->fi->nh | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->prefixlen | 0 |
| PARAM_VALUE | 0 | res->table | 4096-ptr_max |
| PARAM_VALUE | 0 | res->table->tb_num_default | 2-s32max |
| PARAM_VALUE | 0 | res->type | 1 |
| PARAM_VALUE | 1 | fi | 4096-ptr_max |
| PARAM_VALUE | 1 | fi->nh | 0,4096-ptr_max |
| CAPPED_DATA | 0 | res->fi | 1 |
| CAPPED_DATA | 0 | res->scope | 1 |
| CAPPED_DATA | 1 | fi->fib_priority | 1 |
| CAPPED_DATA | 1 | fi->fib_scope | 1 |
| DATA_SOURCE | 0 | res | $1 |
| FUZZY_MAX | 0 | res->table->tb_num_default | 2 |
| PARAM_COMPARE | 1 | fi | == $0->fi |
| PARAM_COMPARE | 1 | fi | == $0->fi |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/ipv4/fib_semantics.c fib_select_default() -> fib_result_assign()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 429988801965383680,4240960965415747584,7684502420953772032,7934135933787738112,8909405672440926208 |
| PARAM_VALUE | 0 | res->fi | 4096-ptr_max |
| PARAM_VALUE | 0 | res->fi->nh | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->prefixlen | 0 |
| PARAM_VALUE | 0 | res->table | 4096-ptr_max |
| PARAM_VALUE | 0 | res->table->tb_num_default | 2-s32max |
| PARAM_VALUE | 0 | res->type | 1 |
| PARAM_VALUE | 1 | fi | 4096-ptr_max |
| PARAM_VALUE | 1 | fi->nh | 0,4096-ptr_max |
| CAPPED_DATA | 0 | res->fi | 1 |
| CAPPED_DATA | 0 | res->scope | 1 |
| CAPPED_DATA | 1 | fi->fib_priority | 1 |
| CAPPED_DATA | 1 | fi->fib_scope | 1 |
| DATA_SOURCE | 0 | res | $1 |
| FUZZY_MAX | 0 | res->table->tb_num_default | 2 |
| PARAM_COMPARE | 1 | fi | == $0->fi |
| PARAM_COMPARE | 1 | fi | == $0->fi |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/ipv4/fib_semantics.c fib_select_default() -> fib_result_assign()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 429988801965383680,4240960965415747584,7684502420953772032,7934135933787738112,8909405672440926208 |
| PARAM_VALUE | 0 | res->fi | 4096-ptr_max |
| PARAM_VALUE | 0 | res->fi->nh | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->prefixlen | 0 |
| PARAM_VALUE | 0 | res->table | 4096-ptr_max |
| PARAM_VALUE | 0 | res->table->tb_num_default | 2-s32max |
| PARAM_VALUE | 0 | res->type | 1 |
| PARAM_VALUE | 1 | fi | 0,4096-ptr_max |
| CAPPED_DATA | 0 | res->fi | 1 |
| CAPPED_DATA | 0 | res->scope | 1 |
| DATA_SOURCE | 0 | res | $1 |
| FUZZY_MAX | 0 | res->table->tb_num_default | 2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |