Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/tcp.c tcp_zerocopy_receive() -> tcp_zerocopy_vm_insert_batch()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 0 | vma->vm_ops | 2036619902561484800 |
| PARAM_VALUE | 1 | pages | 4096-ptr_max |
| PARAM_VALUE | 3 | address | 5858982023039074304 |
| PARAM_VALUE | 4 | length | 266122871846703104 |
| PARAM_VALUE | 5 | seq | 2261379200351055872 |
| PARAM_VALUE | 6 | zc | 1317834662167998464 |
| PARAM_VALUE | 6 | zc->copybuf_len | 0 |
| PARAM_VALUE | 6 | zc->length | 4096-u32max |
| PARAM_VALUE | 6 | zc->msg_flags | 0,2 |
| PARAM_VALUE | 6 | zc->reserved | 0 |
| PARAM_VALUE | 7 | total_bytes_to_map | 0,4096-4294963200 |
| BUF_SIZE | 1 | pages | 256 |
| CAPPED_DATA | 6 | zc->address | 1 |
| CAPPED_DATA | 6 | zc->length | 1 |
| CAPPED_DATA | 7 | total_bytes_to_map | 1 |
| DATA_SOURCE | 0 | vma | r find_tcp_vma |
| DATA_SOURCE | 6 | zc | $1 |
| FUZZY_MAX | 6 | zc->msg_flags | 0 |
| BIT_INFO | 6 | zc->msg_flags | 0x0,0x2 |
| BIT_INFO | 7 | total_bytes_to_map | 0x0,0xfffff000 |
| NOSPEC | 6 | zc->address | |
| RX_PATH | |||
| USER_DATA | 3 | *address | 0-u64max[c] |
| USER_DATA | 6 | zc->address | 0-u64max[c] |
| USER_DATA | 6 | zc->copybuf_address | 0-u64max |
| USER_DATA | 6 | zc->err | s32min-s32max |
| USER_DATA | 6 | zc->flags | 0-u32max |
| USER_DATA | 6 | zc->inq | 0-u32max |
| USER_DATA | 6 | zc->length | 4096-s32max[c] |
| USER_DATA | 6 | zc->msg_control | 0-u64max |
| USER_DATA | 6 | zc->msg_controllen | 0-u64max |
| USER_DATA | 6 | zc->recv_skip_hint | 0-2147479551 |
| USER_DATA | 6 | zc->reserved | 0 |
| USER_DATA | 7 | total_bytes_to_map | 0,4096-2147479552[c] |
| USER_PTR | 3 | address | |
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp.c tcp_zerocopy_receive() -> tcp_zerocopy_vm_insert_batch()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 0 | vma->vm_ops | 2036619902561484800 |
| PARAM_VALUE | 1 | pages | 4096-ptr_max |
| PARAM_VALUE | 2 | pages_to_map | 1-31,33-u32max |
| PARAM_VALUE | 3 | address | 5858982023039074304 |
| PARAM_VALUE | 4 | length | 266122871846703104 |
| PARAM_VALUE | 5 | seq | 2261379200351055872 |
| PARAM_VALUE | 6 | zc | 1317834662167998464 |
| PARAM_VALUE | 6 | zc->copybuf_len | 0 |
| PARAM_VALUE | 6 | zc->length | 4096-u32max |
| PARAM_VALUE | 6 | zc->msg_flags | 0,2 |
| PARAM_VALUE | 6 | zc->recv_skip_hint | 1-u32max |
| PARAM_VALUE | 6 | zc->reserved | 0 |
| PARAM_VALUE | 7 | total_bytes_to_map | 0,4096-4294963200 |
| BUF_SIZE | 1 | pages | 256 |
| CAPPED_DATA | 6 | zc->address | 1 |
| CAPPED_DATA | 6 | zc->length | 1 |
| CAPPED_DATA | 7 | total_bytes_to_map | 1 |
| DATA_SOURCE | 0 | vma | r find_tcp_vma |
| DATA_SOURCE | 6 | zc | $1 |
| FUZZY_MAX | 6 | zc->msg_flags | 0 |
| FUZZY_MAX | 6 | zc->recv_skip_hint | 4096 |
| BIT_INFO | 6 | zc->msg_flags | 0x0,0x2 |
| BIT_INFO | 7 | total_bytes_to_map | 0x0,0xfffff000 |
| NOSPEC | 6 | zc->address | |
| RX_PATH | |||
| USER_DATA | 3 | *address | 0-u64max[c] |
| USER_DATA | 6 | zc->address | 0-u64max[c] |
| USER_DATA | 6 | zc->copybuf_address | 0-u64max |
| USER_DATA | 6 | zc->err | s32min-s32max |
| USER_DATA | 6 | zc->flags | 0-u32max |
| USER_DATA | 6 | zc->inq | 0-u32max |
| USER_DATA | 6 | zc->length | 4096-s32max[c] |
| USER_DATA | 6 | zc->msg_control | 0-u64max |
| USER_DATA | 6 | zc->msg_controllen | 0-u64max |
| USER_DATA | 6 | zc->recv_skip_hint | 4096-s32max |
| USER_DATA | 6 | zc->reserved | 0 |
| USER_DATA | 7 | total_bytes_to_map | 0,4096-2147479552[c] |
| USER_PTR | 3 | address | |
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | sk |