Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/gre_demux.c gre_parse_header() -> get_session_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ershdr->cos | 0-7[u] |
| USER_DATA | 0 | ershdr->en | 0-3[u] |
| USER_DATA | 0 | ershdr->session_id | 0-255[u] |
| USER_DATA | 0 | ershdr->session_id_upper | 0-3[u] |
| USER_DATA | 0 | ershdr->t | 0-1[u] |
| USER_DATA | 0 | ershdr->ver | 0-15[u] |
| USER_DATA | 0 | ershdr->vlan | 0-255[u] |
| USER_DATA | 0 | ershdr->vlan_upper | 0-15[u] |
| UNITS | 0 | ershdr | unit_byte |
| USER_PTR | 0 | ershdr | |
| HALF_LOCKED2 | rcu_read |