Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/plip/plip.c plip_receive_packet() -> plip_receive()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 ns_p 4096-ptr_max
DATA_SOURCE 1 dev $0
HALF_LOCKED2 &pool->lock

drivers/net/plip/plip.c plip_receive_packet() -> plip_receive()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 ns_p 4096-ptr_max
DATA_SOURCE 1 dev $0
HALF_LOCKED2 &pool->lock

drivers/net/plip/plip.c plip_receive_packet() -> plip_receive()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 ns_p 4096-ptr_max
DATA_SOURCE 1 dev $0
HALF_LOCKED2 &pool->lock

drivers/net/plip/plip.c plip_receive_packet() -> plip_receive()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 ns_p 4096-ptr_max
PARAM_VALUE 3 data_p 4096-ptr_max
DATA_SOURCE 1 dev $0
USER_DATA 3 *data_p 0-255
USER_PTR 3 data_p
HALF_LOCKED2 &pool->lock

drivers/net/plip/plip.c plip_receive_packet() -> plip_receive()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 ns_p 4096-ptr_max
PARAM_VALUE 3 data_p 4096-ptr_max
DATA_SOURCE 1 dev $0
HALF_LOCKED2 &pool->lock