Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/block/drbd/drbd_nl.c drbd_set_role() -> request_ping()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &adm_ctx->resource->adm_mutex
LOCK2 rcu_read
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct drbd_resource)->adm_mutex

drivers/block/drbd/drbd_main.c we_should_drop_the_connection() -> request_ping()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 0 connection->ack_receiver.t_state 1
PARAM_VALUE 0 connection->ack_receiver.task 1-u64max
PARAM_VALUE 0 connection->cstate 9-u32max
PARAM_VALUE 0 connection->data.socket->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 connection->data.socket->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 connection->data.socket->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 connection->ko_count 1-u32max
PARAM_VALUE 0 *connection->data.socket->sk->sk_backlog.head->dev->name 0-255
DATA_SOURCE 0 connection $0
FUZZY_MAX 0 connection->cstate 9
STR_LEN 0 connection (-1)-0
STR_LEN 0 connection (-1)-0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 connection->ack_sender->rescuer->task->dl.dl_runtime
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 connection->data.socket->sk->sk_write_queue.next->prev->len
HALF_LOCKED2 &sock->mutex
HALF_LOCKED2 0 &connection->cstate_mutex
HALF_LOCKED2 0 &connection->data.mutex
HALF_LOCKED2 0 &connection->resource->conf_update
TYPE_LOCK (struct drbd_socket)->mutex

drivers/block/drbd/drbd_worker.c ping_peer() -> request_ping()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 device->state_mutex