Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/recv.c rds_recv_hs_exthdrs() -> rds_message_next_extension()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->h_dport 0-1
PARAM_VALUE 0 hdr->h_sport 0-1
PARAM_VALUE 1 pos 4862609974153486336
PARAM_VALUE 1 *pos 0-16
PARAM_VALUE 2 buf 9005248211553329152
PARAM_VALUE 3 buflen 5401771949245767680
PARAM_VALUE 3 *buflen 4
BUF_SIZE 2 buf 4
DATA_SOURCE 0 hdr $0
HARD_MAX 0 hdr->h_dport 1
HARD_MAX 0 hdr->h_sport 1
RX_PATH
TASK_NOT_RUNNING

net/rds/recv.c rds_recv_incoming_exthdrs() -> rds_message_next_extension()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 pos 5126397875452968960
PARAM_VALUE 1 *pos 0-16
PARAM_VALUE 2 buf 2071869608253751296
PARAM_VALUE 3 buflen 5100718029493690368
PARAM_VALUE 3 *buflen 8
BUF_SIZE 0 hdr 48
BUF_SIZE 2 buf 8
RX_PATH
TASK_NOT_RUNNING