Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/tap.c tun_vnet_hdr_get() -> __tun_vnet_hdr_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags | 16384-u32max |
| PARAM_VALUE | 2 | features | 0 |
| PARAM_VALUE | 3 | from | 4096-ptr_max |
| PARAM_VALUE | 4 | hdr | 1091621260333957120 |
| PARAM_VALUE | 4 | hdr->flags | 0 |
| PARAM_VALUE | 4 | hdr->gso_size | 0 |
| PARAM_VALUE | 4 | hdr->gso_type | 0 |
| PARAM_VALUE | 4 | hdr->hdr_len | 0 |
| DATA_SOURCE | 0 | sz | $0 |
| DATA_SOURCE | 1 | flags | $1 |
| DATA_SOURCE | 3 | from | $2 |
| DATA_SOURCE | 4 | hdr | $3 |
| BIT_INFO | 1 | flags | 0x4000,0xffffffff |
| NOSPEC | 3 | from->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | from->count | 0-18446744073709551614 |
| USER_DATA | 3 | from->iov_offset | 0-u64max[c] |
| UNITS | 0 | sz | unit_byte |
drivers/net/tun.c tun_get_user() -> __tun_vnet_hdr_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags | 16384-u32max |
| PARAM_VALUE | 2 | features | 0,201326592 |
| PARAM_VALUE | 3 | from | 4096-ptr_max |
| PARAM_VALUE | 4 | hdr | 6669664763164352512 |
| BUF_SIZE | 4 | hdr | 24 |
| BUF_SIZE | 4 | hdr | 24 |
| DATA_SOURCE | 2 | features | r tun_vnet_hdr_guest_features |
| DATA_SOURCE | 3 | from | $3 |
| BIT_INFO | 1 | flags | 0x4000,0xffffffff |
| NOSPEC | 3 | from->count | |
| MEM_ZERO | 4 | hdr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | from->count | 0-18446744073709551614 |
| USER_DATA | 3 | from->iov_offset | 0-u64max[c] |
| UNITS | 0 | sz | unit_byte |