Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv4/cipso_ipv4.c cipso_v4_skbuff_delattr() -> iph_set_totlen()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
DATA_SOURCE 0 iph r ip_hdr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 len
UNITS 1 len unit_byte
LOCK2 rcu_read

net/ipv4/cipso_ipv4.c cipso_v4_skbuff_setattr() -> iph_set_totlen()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
DATA_SOURCE 0 iph r ip_hdr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 len 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 len
UNITS 1 len unit_byte
LOCK2 rcu_read

net/ipv4/af_inet.c inet_gro_complete() -> iph_set_totlen()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 iph->check 0-u16max[u]
USER_DATA 0 iph->daddr 0-u32max[u]
USER_DATA 0 iph->frag_off 0-u16max[u]
USER_DATA 0 iph->id 0-u16max[u]
USER_DATA 0 iph->ihl 0-15[u]
USER_DATA 0 iph->protocol 0-255[u]
USER_DATA 0 iph->saddr 0-u32max[u]
USER_DATA 0 iph->tos 0-255[u]
USER_DATA 0 iph->tot_len 0-u16max[u]
USER_DATA 0 iph->ttl 0-255[u]
USER_DATA 0 iph->version 0-15[u]
UNITS 0 iph unit_byte
UNITS 1 len unit_byte
USER_PTR 0 iph
HALF_LOCKED2 rcu_read

net/ipv4/ip_output.c __ip_local_out() -> iph_set_totlen()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
DATA_SOURCE 0 iph r ip_hdr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 len 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 len
UNITS 1 len unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk