Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/core/page_pool.c page_pool_empty_ring() -> ptr_ring_consume_bh()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 r->size

net/core/page_pool.c page_pool_empty_ring() -> ptr_ring_consume_bh()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->size s32min-(-1),1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 r->size

drivers/net/wireguard/send.c wg_packet_encrypt_worker() -> ptr_ring_consume_bh()

Type Parameter Key Value

drivers/net/wireguard/send.c wg_packet_encrypt_worker() -> ptr_ring_consume_bh()

Type Parameter Key Value
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->size s32min-(-1),1-s32max

drivers/net/wireguard/receive.c wg_packet_decrypt_worker() -> ptr_ring_consume_bh()

Type Parameter Key Value

drivers/net/wireguard/receive.c wg_packet_decrypt_worker() -> ptr_ring_consume_bh()

Type Parameter Key Value
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->size s32min-(-1),1-s32max

drivers/net/wireguard/receive.c wg_packet_handshake_receive_worker() -> ptr_ring_consume_bh()

Type Parameter Key Value

drivers/net/wireguard/receive.c wg_packet_handshake_receive_worker() -> ptr_ring_consume_bh()

Type Parameter Key Value
PARAM_VALUE 0 r->consumer_head s32min-2147483646
PARAM_VALUE 0 r->size s32min-(-1),1-s32max