Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hwtracing/intel_th/msu.c intel_th_msc_read() -> msc_single_to_user()

Type Parameter Key Value
PARAM_VALUE 0 msc 4096-ptr_max
PARAM_VALUE 0 msc->mode 0
PARAM_VALUE 0 msc->single_sz 0-u32max
PARAM_VALUE 0 msc->user_count.counter 0-s32max
PARAM_VALUE 2 off 0-1000000000
PARAM_VALUE 3 len 0-3147479552
CAPPED_DATA 1 buf 1
CAPPED_DATA 2 off 1
CAPPED_DATA 2 off 1
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 len $2 [m]
FUZZY_MAX 3 len 2147479552
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 off 1-1000000000[c]
USER_DATA 3 len 0-3147479551[c]
UNITS 0 msc unit_byte
UNITS 2 off unit_byte
UNITS 3 len unit_byte