Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/block/drbd/drbd_receiver.c receive_DataReply() -> req_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->i.local | 1 |
| PARAM_VALUE | 1 | what | 20 |
| PARAM_VALUE | 2 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->cstate_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->sender_work.q_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->device->read_requests.rb_node | 1-u64max |
| PARAM_VALUE | 2 | peer_device->device->resource | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->device->resource->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | *peer_device->connection->data.socket->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 2 | *peer_device->connection->int_dig_vv | 0-255 |
| DATA_SOURCE | 2 | peer_device | r conn_peer_device |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c w_send_dblock() -> req_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 1 | what | 7 |
| PARAM_VALUE | 2 | peer_device | 4096-ptr_max |
| DATA_SOURCE | 2 | peer_device | r first_peer_device |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c w_send_dblock() -> req_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 1 | what | 8-9 |
| PARAM_VALUE | 2 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->__sk_common.skc_bind_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->__sk_common.skc_net.net->ipv4.ping_port_rover | 1-u16max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->__sk_common.skc_node.next->pprev | 1-u64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.func | 1-u64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_error_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_filter->rcu.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_filter->rcu.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->connect_cookie | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_conn->c_proposed_version | 769 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_state.counter | 0-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.failfast_work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.state | 2 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->dev->carrier_down_count.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.done | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner | (-1) |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->mpa_timer->type | 5,7 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->qp->tx_ctx.tx_suspend | 1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->read.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->reestablish_timeout | 0,750 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_page->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_page->page_type | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->session->state | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sock_state.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_write_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sobject | 0-u16max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->tcp_retransmit_timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->send.current_epoch_writes | 1 |
| PARAM_VALUE | 2 | peer_device->connection->send.seen_any_write_yet | 1 |
| CAPPED_DATA | 2 | peer_device->connection->data.socket | 1 |
| DATA_SOURCE | 2 | peer_device | r first_peer_device |
| FUZZY_MAX | 1 | what | 9 |
| BIT_INFO | 1 | what | 0x8,0x9 |
| HARD_MAX | 1 | what | 9 |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c w_send_out_of_sync() -> req_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 1 | what | 7 |
| PARAM_VALUE | 2 | peer_device | 4096-ptr_max |
| DATA_SOURCE | 2 | peer_device | r first_peer_device |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c w_send_out_of_sync() -> req_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 1 | what | 10 |
| PARAM_VALUE | 2 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_error_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_error_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_filter->rcu.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_filter->rcu.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->kmem.high | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->kmem.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->kmem.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memory.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memory.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memory.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memsw.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memsw.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memsw.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->swap.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->swap.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->swap.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem_pressure | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_prot_creator->twsk_prot | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_rcu.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_receive_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->connect_cookie | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_conn->c_proposed_version | 769 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_state.counter | 0-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.failfast_work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.state | 2 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->dev->carrier_down_count.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.done | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner | (-1) |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->mpa_timer->type | 5,7 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->qp->tx_ctx.tx_suspend | 1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->read.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->reestablish_timeout | 0,750 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_page->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_page->page_type | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->session->state | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sock_state.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_write_queue.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 2 | peer_device->connection->data.socket | 1 |
| DATA_SOURCE | 2 | peer_device | r first_peer_device |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c w_send_read_req() -> req_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 1 | what | 7 |
| PARAM_VALUE | 2 | peer_device | 4096-ptr_max |
| DATA_SOURCE | 2 | peer_device | r first_peer_device |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c w_send_read_req() -> req_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->device | 4096-ptr_max |
| PARAM_VALUE | 1 | what | 8-9 |
| PARAM_VALUE | 2 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_error_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_error_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_filter->rcu.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_filter->rcu.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.function | 1626621062881370112 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->high_work.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->kmem.high | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->kmem.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->kmem.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memory.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memory.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memory.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memsw.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memsw.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->memsw.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->swap.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->swap.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->swap.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem.high | 0-2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem.low | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem.min | 0,2251799813685247 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_memcg->tcpmem_pressure | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_prot_creator->twsk_prot | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_rcu.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_receive_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.entry.next | s64max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->connect_cookie | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_conn->c_proposed_version | 769 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->cp_state.counter | 0-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.failfast_work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.state | 2 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->dev->carrier_down_count.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.done | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner | (-1) |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->mpa_timer->type | 5,7 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->qp->tx_ctx.tx_suspend | 1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->read.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->reestablish_timeout | 0,750 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_page->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sc_page->page_type | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->session->state | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->sock_state.counter | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.cpu | s32min-s32max |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_hard | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_lazy | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_queued | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_soft | 0-1 |
| PARAM_VALUE | 2 | peer_device->connection->data.socket->sk->sk_write_queue.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 2 | peer_device->connection->data.socket | 1 |
| DATA_SOURCE | 2 | peer_device | r first_peer_device |
| FUZZY_MAX | 1 | what | 9 |
| BIT_INFO | 1 | what | 0x8,0x9 |
| HARD_MAX | 1 | what | 9 |
| NOCHECK_CALL |