Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/svcsock.c svc_setup_socket() -> svc_sock_sendpages()

Type Parameter Key Value
PARAM_VALUE 1 sock 4096-ptr_max
PARAM_VALUE 2 flags 0-1,3
BUF_SIZE 0 serv (-1),368
BUF_SIZE 0 serv (-1),368
BUF_SIZE 1 sock s32min-(-1),1-s32max
BUF_SIZE 1 sock s32min-(-1),1-s32max
CAPPED_DATA 1 sock->sk 1
DATA_SOURCE 0 serv $0
DATA_SOURCE 1 sock $1
DATA_SOURCE 2 flags $2
STR_LEN 0 serv (-1),3
STR_LEN 0 serv (-1),3
HARD_MAX 2 flags 3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 sock->sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 1 sock->sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 1 sock->sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 1 sock->sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 1 sock->sk->sk_write_queue.next->prev->data_len
HALF_LOCKED2 global &nfsd_mutex