Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/user.c device_write() -> compat_input()

Type Parameter Key Value
PARAM_VALUE 0 kb 4096-ptr_max
PARAM_VALUE 1 kb32 4096-ptr_max
PARAM_VALUE 2 namelen 0-80
BUF_SIZE 0 kb 121-201
BUF_SIZE 0 kb 121-201
BUF_SIZE 1 kb32 1-1000000001,2147479553
BUF_SIZE 1 kb32 1-1000000001,2147479553
DATA_SOURCE 0 kb r _kzalloc_noprof
FUZZY_MAX 2 namelen 80
TERMINATED 0 kb 1
TERMINATED 1 kb32 1
HARD_MAX 2 namelen 80
NOCHECK_CALL
USER_DATA 1 kb32->cmd 0-255[u]
USER_DATA 1 kb32->i.lock.bastaddr 0-u32max[u]
USER_DATA 1 kb32->i.lock.bastparam 0-u32max[u]
USER_DATA 1 kb32->i.lock.castaddr 0-u32max[u]
USER_DATA 1 kb32->i.lock.castparam 0-u32max[u]
USER_DATA 1 kb32->i.lock.flags 0-u32max[u]
USER_DATA 1 kb32->i.lock.lkid 0-u32max[u]
USER_DATA 1 kb32->i.lock.lksb 0-u32max[u]
USER_DATA 1 kb32->i.lock.mode 0-255[u]
USER_DATA 1 kb32->i.lock.namelen 0-255[u]
USER_DATA 1 kb32->i.lock.parent 0-u32max[u]
USER_DATA 1 kb32->i.lock.timeout 0-u64max[u]
USER_DATA 1 kb32->i.lock.unused 0-u16max[u]
USER_DATA 1 kb32->i.lock.xid 0-u64max[u]
USER_DATA 1 kb32->i.lspace.flags 0-u32max[u]
USER_DATA 1 kb32->i.lspace.minor 0-u32max[u]
USER_DATA 1 kb32->i.purge.nodeid 0-u32max[u]
USER_DATA 1 kb32->i.purge.pid 0-u32max[u]
USER_DATA 1 kb32->is64bit 0-255[u]
USER_DATA 2 namelen 1-80
UNITS 2 namelen unit_byte
USER_PTR 0 kb->unused
USER_PTR 0 kb->version
USER_PTR 1 kb32