Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_receiver.c drbd_recv() -> drbd_recv_short()

Type Parameter Key Value
PARAM_VALUE 3 flags 0
BUF_SIZE 1 buf (-1),1-505051
BUF_SIZE 1 buf (-1),1-505051
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 size $2
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_backlog.len
UNITS 1 buf unit_byte
UNITS 2 size unit_byte
BYTE_COUNT 1 ==buf2 8050

drivers/block/drbd/drbd_receiver.c drbd_recv_header_maybe_unplug() -> drbd_recv_short()

Type Parameter Key Value
PARAM_VALUE 0 sock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sock->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 2 size 8,16
PARAM_VALUE 3 flags 16448
DATA_SOURCE 2 size r drbd_header_size

drivers/block/drbd/drbd_receiver.c drbd_socket_okay() -> drbd_recv_short()

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 1 buf 5470970606803206144
PARAM_VALUE 2 size 4
PARAM_VALUE 3 flags 66
BUF_SIZE 1 buf 4

drivers/block/drbd/drbd_receiver.c receive_first_packet() -> drbd_recv_short()

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
PARAM_VALUE 0 sock->sk->sk_callback_lock.dep_map->name 0-255
PARAM_VALUE 0 sock->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 sock->sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 sock->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 sock->sk->sk_rcvtimeo 0-4294967295
PARAM_VALUE 0 sock->sk->sk_user_data 0
PARAM_VALUE 2 size 8
PARAM_VALUE 3 flags 0
DATA_SOURCE 0 sock $1
DATA_SOURCE 2 size r drbd_header_size