Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ppp/pppoe.c pppoe_gro_complete() -> pppoe_hdr_proto()

Type Parameter Key Value
PARAM_VALUE 0 phdr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 phdr->code 0-255[u]
USER_DATA 0 phdr->length 0-u16max[u]
USER_DATA 0 phdr->sid 0-u16max[u]
USER_DATA 0 phdr->type 0-15[u]
USER_DATA 0 phdr->ver 0-15[u]
UNITS 0 phdr unit_byte
USER_PTR 0 phdr
HALF_LOCKED2 rcu_read

drivers/net/ppp/pppoe.c pppoe_gro_receive() -> pppoe_hdr_proto()

Type Parameter Key Value
PARAM_VALUE 0 phdr 4096-ptr_max
PARAM_VALUE 0 *phdr 4352
DATA_SOURCE 0 phdr r skb_gro_header
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

drivers/net/ppp/pppoe.c pppoe_gso_segment() -> pppoe_hdr_proto()

Type Parameter Key Value
PARAM_VALUE 0 phdr 4096-ptr_max
DATA_SOURCE 0 phdr r skb_network_header
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read