Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/mpls/af_mpls.c mpls_forward() -> mpls_entry_decode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| DATA_SOURCE | 0 | hdr | r mpls_hdr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
net/mpls/af_mpls.c mpls_multipath_hash() -> mpls_entry_decode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &net->mpls.platform_mutex |
net/mpls/af_mpls.c nla_get_labels() -> mpls_entry_decode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | hdr->label_stack_entry | 0-u32max[u] |
| USER_PTR | 0 | hdr | |
| HALF_LOCKED2 | &net->mpls.platform_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |