Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/ioctl.c blkdev_ioctl() -> blkdev_common_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 mode 0-31
PARAM_VALUE 2 cmd 0-768,770-4703,4705-4706,4708,4710-4712,4714-1074270832,1074270834-2148012655,2148012657,2148012659-3225948786,3225948788-3233813133,3233813135-u32max
BUF_SIZE 0 bdev 2136
DATA_SOURCE 0 bdev r I_BDEV
DATA_SOURCE 1 mode r file_to_blk_mode
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 arg $2
DATA_SOURCE 4 argp $2
PARAM_COMPARE 3 arg == $4
PARAM_COMPARE 3 arg == $4
PARAM_COMPARE 4 argp == $3
USER_DATA 2 cmd 0-768,770-4703,4705-4706,4708,4710-4712,4714-1074270832,1074270
USER_DATA 3 arg 0-u64max

block/ioctl.c compat_blkdev_ioctl() -> blkdev_common_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 mode 0-31
PARAM_VALUE 2 cmd 0-768,770-4703,4705-4706,4708,4710-4712,4714-1074008688,1074008690-1074041864,1074041866-1076647975,1076647980-1076647992,1076647994-2147750511,2147750513,2147750515-3225424498,3225424500-u32max
PARAM_VALUE 3 arg 0-u32max
PARAM_VALUE 4 argp 0-u32max
BUF_SIZE 0 bdev 2136
DATA_SOURCE 0 bdev r I_BDEV
DATA_SOURCE 1 mode r file_to_blk_mode
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 arg $2
DATA_SOURCE 4 argp $2
PARAM_COMPARE 3 arg == $4
PARAM_COMPARE 3 arg == $4
PARAM_COMPARE 4 argp == $3
USER_DATA 2 cmd 0-768,770-4703,4705-4706,4708,4710-4712,4714-1074008688,1074008
USER_DATA 3 arg 0-u32max