Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xdp/xsk.c __xsk_generic_xmit() -> xsk_is_bound()

Type Parameter Key Value
PARAM_VALUE 0 xs 4096-ptr_max
CAPPED_DATA 0 &xs->mutex 1
DATA_SOURCE 0 xs $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 xs unit_byte
LOCK2 0 &xs->mutex
TYPE_LOCK (struct xdp_sock)->mutex

net/xdp/xsk.c xsk_bind() -> xsk_is_bound()

Type Parameter Key Value
PARAM_VALUE 0 xs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 xs unit_byte
LOCK2 &xs->mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
TYPE_LOCK (struct xdp_sock)->mutex

net/xdp/xsk.c xsk_check_common() -> xsk_is_bound()

Type Parameter Key Value
DATA_SOURCE 0 xs $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 xs unit_byte
LOCK2 rcu_read

net/xdp/xsk.c xsk_rcv_check() -> xsk_is_bound()

Type Parameter Key Value
DATA_SOURCE 0 xs $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read