Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

kernel/bpf/stream.c bpf_stream_vprintk() -> bstr_printf()

Type Parameter Key Value
PARAM_VALUE 1 size 1024
CAPPED_DATA 2 *fmt_str 1
DATA_SOURCE 2 fmt_str $1
STR_LEN 0 buf 0-18446744073709551613

fs/seq_file.c seq_bprintf() -> bstr_printf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 size 1-u64max
DATA_SOURCE 2 fmt_str $1
DATA_SOURCE 3 bin_buf $2
UNITS 0 buf unit_byte
UNITS 1 size unit_byte

lib/seq_buf.c seq_buf_bprintf() -> bstr_printf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
DATA_SOURCE 1 size r seq_buf_buffer_left
DATA_SOURCE 2 fmt_str $1
DATA_SOURCE 3 bin_buf $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf unit_byte
HALF_LOCKED2 flags

kernel/trace/bpf_trace.c ____bpf_trace_printk() -> bstr_printf()

Type Parameter Key Value
PARAM_VALUE 1 size 1024
CAPPED_DATA 2 *fmt_str 1
DATA_SOURCE 2 fmt_str $0

kernel/trace/bpf_trace.c ____bpf_trace_vprintk() -> bstr_printf()

Type Parameter Key Value
PARAM_VALUE 1 size 1024
CAPPED_DATA 2 *fmt_str 1
DATA_SOURCE 2 fmt_str $0

kernel/bpf/helpers.c ____bpf_snprintf() -> bstr_printf()

Type Parameter Key Value
CAPPED_DATA 2 *fmt_str 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 size $1
DATA_SOURCE 2 fmt_str $2