Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/nsh/nsh.c nsh_gso_segment() -> nsh_hdr_len()

Type Parameter Key Value
PARAM_VALUE 0 nsh 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/nsh/nsh.c nsh_pop() -> nsh_hdr_len()

Type Parameter Key Value
BUF_SIZE 0 nsh 1-s32max
BUF_SIZE 0 nsh 1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nsh->md2.length 0-255[u]
USER_DATA 0 nsh->md2.md_class 0-u16max[u]
USER_DATA 0 nsh->md2.type 0-255[u]
USER_DATA 0 nsh->mdtype 0-255[u]
USER_DATA 0 nsh->np 0-255[u]
USER_DATA 0 nsh->path_hdr 0-u32max[u]
USER_DATA 0 nsh->ver_flags_ttl_len 0-u16max[u]
UNITS 0 nsh unit_byte
USER_PTR 0 nsh

net/nsh/nsh.c nsh_push() -> nsh_hdr_len()

Type Parameter Key Value
PARAM_VALUE 0 nsh 8762237928882864128
PARAM_VALUE 0 nsh->ver_flags_ttl_len 0-255
BUF_SIZE 0 nsh 252
BUF_SIZE 0 nsh 252
DATA_SOURCE 0 nsh $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nsh->mdtype 0-255
USER_DATA 0 nsh->np 0-255
USER_DATA 0 nsh->path_hdr 0-u32max
USER_DATA 0 nsh->ver_flags_ttl_len 0-255[c]

net/openvswitch/flow.c parse_nsh() -> nsh_hdr_len()

Type Parameter Key Value
PARAM_VALUE 0 nsh 4096-ptr_max
PARAM_VALUE 0 nsh->ver_flags_ttl_len 0-255
DATA_SOURCE 0 nsh r nsh_hdr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING