Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv6/rpl_iptunnel.c rpl_do_srh_inline() -> ipv6_rpl_srh_compress()

Type Parameter Key Value
PARAM_VALUE 0 outhdr 16,4096-ptr_max
PARAM_VALUE 1 inhdr 4096-ptr_max
PARAM_VALUE 1 inhdr->segments.addr 4096-ptr_max
PARAM_VALUE 2 daddr 4096-ptr_max
BUF_SIZE 1 inhdr 2
BUF_SIZE 1 inhdr 2
BUF_SIZE 2 daddr 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 inhdr->segments_left
UNITS 3 n unit_byte
LOCK2 rcu_read

net/ipv6/exthdrs.c ipv6_rpl_srh_rcv() -> ipv6_rpl_srh_compress()

Type Parameter Key Value
PARAM_VALUE 1 inhdr 4096-ptr_max
PARAM_VALUE 1 inhdr->cmpre 0
PARAM_VALUE 1 inhdr->cmpri 0
PARAM_VALUE 1 inhdr->hdrlen 2-254
PARAM_VALUE 1 inhdr->pad 0
PARAM_VALUE 1 inhdr->segments.addr 4096-ptr_max
PARAM_VALUE 1 inhdr->segments_left 0-126
PARAM_VALUE 3 n 0-126
BUF_SIZE 1 inhdr 2
BUF_SIZE 1 inhdr 2
CAPPED_DATA 3 n 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 n unit_byte