Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/ioctl.c ocfs2_info_handle() -> ocfs2_get_request_ptr()

Type Parameter Key Value
PARAM_VALUE 0 info 970967949655916544,6879763287886569472
PARAM_VALUE 0 info->oi_count 1-50
PARAM_VALUE 0 info->oi_requests 1-u64max
PARAM_VALUE 1 idx 0-49
PARAM_VALUE 2 req_addr 2455581986411360256
PARAM_VALUE 3 compat_flag 0-1
CAPPED_DATA 1 idx 1
DATA_SOURCE 0 info $1
DATA_SOURCE 3 compat_flag $2
FUZZY_MAX 1 idx 49
PARAM_COMPARE 1 idx < $0->oi_count
HARD_MAX 0 info->oi_count 50
HARD_MAX 1 idx 49
HARD_MAX 3 compat_flag 1
USER_DATA 0 info->oi_count 1-50
USER_DATA 0 info->oi_pad 0-u32max
USER_DATA 0 info->oi_requests 1-u64max
USER_DATA 2 *req_addr 1-u64max
USER_PTR 2 req_addr