Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireguard/send.c wg_packet_send_handshake_cookie() -> wg_socket_send_buffer_as_reply_to_skb()

Type Parameter Key Value
PARAM_VALUE 0 wg 4096-ptr_max
PARAM_VALUE 0 wg->cookie_checker->secret 0-255
PARAM_VALUE 0 wg->cookie_checker.secret_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 wg->cookie_checker.secret_lock.first_waiter->type 0-1
PARAM_VALUE 0 wg->cookie_checker.secret_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wg->static_identity.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 wg->static_identity.lock.first_waiter->type 0-1
PARAM_VALUE 1 in_skb 4096-ptr_max
PARAM_VALUE 1 in_skb->data 4096-ptr_max
PARAM_VALUE 1 in_skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 in_skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 in_skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 2 buffer 3029062729125900288
PARAM_VALUE 3 len 64
BUF_SIZE 1 in_skb 1-s32max
BUF_SIZE 1 in_skb 1-s32max
BUF_SIZE 2 buffer 64
DATA_SOURCE 0 wg $0
DATA_SOURCE 1 in_skb $1
NOCHECK_CALL
UNITS 3 len unit_byte