Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/core/filter.c ____bpf_sk_lookup_assign() -> sk_is_udp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 2,10
PARAM_VALUE 0 sk->sk_protocol 6
PARAM_VALUE 0 sk->sk_type 1
DATA_SOURCE 0 sk $1

net/core/sock.c sk_busy_loop_end() -> sk_is_udp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 &sk->sk_receive_queue 1
DATA_SOURCE 0 sk $0
PARAM_COMPARE 0 &sk->sk_receive_queue == $0->sk_receive_queue.next

net/core/sock_map.c sock_map_sk_state_allowed() -> sk_is_udp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk (-1)-s32max
BUF_SIZE 0 sk (-1)-s32max
DATA_SOURCE 0 sk $0
PREEMPT_ADD
UNITS 0 sk unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

security/landlock/net.c hook_socket_bind() -> sk_is_udp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/landlock/net.c hook_socket_connect() -> sk_is_udp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/landlock/net.c hook_socket_connect() -> sk_is_udp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 2,10
PARAM_VALUE 0 sk->sk_protocol 6,17
PARAM_VALUE 0 sk->sk_type 1-2
UNITS 0 sk unit_byte

security/landlock/net.c hook_socket_sendmsg() -> sk_is_udp()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte