Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bpf/test_run.c bpf_prog_test_run_xdp() -> xdp_convert_buff_to_md()

Type Parameter Key Value
PARAM_VALUE 0 xdp 5547001856507617280
PARAM_VALUE 0 xdp->data 4096-ptr_max
PARAM_VALUE 0 xdp->data_end 4096-ptr_max
PARAM_VALUE 0 xdp->data_hard_start 4096-ptr_max
PARAM_VALUE 0 xdp->data_meta 4096-ptr_max
PARAM_VALUE 0 xdp->flags 0-1
PARAM_VALUE 0 xdp->frame_sz 0
PARAM_VALUE 0 xdp->frame_sz_flags_init 4096
PARAM_VALUE 0 xdp->rxq 4096-ptr_max
PARAM_VALUE 0 xdp->txq 0
PARAM_VALUE 1 xdp_md 0,4096-ptr_max
PARAM_VALUE 1 xdp_md->data 0-216
PARAM_VALUE 1 xdp_md->data_meta 0
PARAM_VALUE 1 xdp_md->egress_ifindex 0
BUF_SIZE 1 xdp_md (-1),24,48,56,72
BUF_SIZE 1 xdp_md (-1),24,48,56,72
DATA_SOURCE 1 xdp_md r bpf_ctx_init
NOSPEC 1 xdp_md->data
NOSPEC 1 xdp_md->data_end
NOSPEC 1 xdp_md->ingress_ifindex
NOCHECK_CALL
USER_DATA 1 xdp_md->data 0-216[c]
USER_DATA 1 xdp_md->data_end 0-s32max[c]
USER_DATA 1 xdp_md->data_meta 0
USER_DATA 1 xdp_md->egress_ifindex 0
USER_DATA 1 xdp_md->ingress_ifindex 0-u32max
USER_DATA 1 xdp_md->rx_queue_index 0-u32max
USER_DATA 1 *xdp_md s64min-s64max
USER_PTR 1 xdp_md