Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/rsrc.c io_import_fixed() -> validate_fixed_range()

Type Parameter Key Value
DATA_SOURCE 0 buf_addr $3
DATA_SOURCE 1 len $4
DATA_SOURCE 2 imu $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf_addr unit_byte
UNITS 1 len unit_byte

io_uring/rsrc.c io_vec_fill_bvec() -> validate_fixed_range()

Type Parameter Key Value
PARAM_VALUE 2 imu 4096-ptr_max
DATA_SOURCE 2 imu $2
BIT_INFO 2 imu->flags 0x0,0xfe
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf_addr unit_byte
UNITS 1 len unit_byte

io_uring/rsrc.c iov_kern_bvec_size() -> validate_fixed_range()

Type Parameter Key Value
PARAM_VALUE 1 len 1-u64max
PARAM_VALUE 2 imu 4096-ptr_max
PARAM_VALUE 2 imu->flags 1-255
DATA_SOURCE 2 imu $1
BIT_INFO 2 imu->flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf_addr unit_byte
UNITS 1 len unit_byte