Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/rds/ib_send.c rds_ib_xmit() -> rds_message_make_checksum()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
NOCHECK_CALL

net/rds/ib_send.c rds_ib_xmit() -> rds_message_make_checksum()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
NOCHECK_CALL

net/rds/ib_recv.c rds_ib_send_ack() -> rds_message_make_checksum()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
MEM_ZERO 0 hdr->h_exthdr
RX_PATH
NOCHECK_CALL