Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv6/rpl_iptunnel.c rpl_build_state() -> rpl_validate_srh()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | srh | 4096-ptr_max |
| PARAM_VALUE | 2 | seglen | 0-65527 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | srh | r nla_data |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | srh->hdrlen | 0-255 |
| USER_DATA | 1 | srh->nexthdr | 0-255 |
| USER_DATA | 1 | srh->segments_left | 0-255 |
| USER_DATA | 1 | srh->type | 0-255 |
| UNITS | 2 | seglen | unit_byte |
| USER_PTR | 1 | srh | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | 0 | &net->rtnl_mutex |