Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/autofs/dev-ioctl.c _autofs_dev_ioctl() -> free_dev_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 param 4096-ptr_max
PARAM_VALUE 0 param->size 24-4120
PARAM_VALUE 0 param->ver_major 1
PARAM_VALUE 0 param->ver_minor 1
PARAM_VALUE 0 *param->path 0
BUF_SIZE 0 param 24-4120
BUF_SIZE 0 param 24-4120
CAPPED_DATA 0 param->size 1
DATA_SOURCE 0 param r copy_dev_ioctl
NOCHECK_CALL
USER_DATA 0 param->askumount.may_umount 0-u32max
USER_DATA 0 param->expire.how 0-u32max
USER_DATA 0 param->fail.status s32min-s32max
USER_DATA 0 param->fail.token 0-u32max
USER_DATA 0 param->ioctlfd s32min-s32max
USER_DATA 0 param->ismountpoint.in.type 0-u32max
USER_DATA 0 param->ismountpoint.out.devid 0-u32max
USER_DATA 0 param->ismountpoint.out.magic 0-u32max
USER_DATA 0 param->openmount.devid 0-u32max
USER_DATA 0 param->protosubver.sub_version 0-u32max
USER_DATA 0 param->protover.version 0-u32max
USER_DATA 0 param->ready.token 0-u32max
USER_DATA 0 param->requester.gid 0-u32max
USER_DATA 0 param->requester.uid 0-u32max
USER_DATA 0 param->setpipefd.pipefd s32min-s32max
USER_DATA 0 param->size 24-4120[c]
USER_DATA 0 param->timeout.timeout 0-u64max
USER_DATA 0 *param s64min-s64max
USER_DATA 0 *param->path 0
USER_PTR 0 param
USER_PTR 0 param->path