Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/verity/enable.c fsverity_ioctl_enable() -> enable_verity()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
PARAM_VALUE 0 filp->f_inode 4096-ptr_max
PARAM_VALUE 0 filp->f_inode->i_writecount.counter 0-s32max
PARAM_VALUE 1 arg 1077185525318893568
PARAM_VALUE 1 arg->__reserved1 0
PARAM_VALUE 1 arg->salt_size 0-32
PARAM_VALUE 1 arg->sig_size 0-16128
PARAM_VALUE 1 arg->version 1
DATA_SOURCE 0 filp $0
BIT_INFO 0 filp->f_mode 0x1,0xffffffffffffffff
USER_DATA 1 arg->__reserved1 0
USER_DATA 1 arg->block_size 0-u32max
USER_DATA 1 arg->hash_algorithm 0-u32max
USER_DATA 1 arg->salt_ptr 0-u64max
USER_DATA 1 arg->salt_size 0-32
USER_DATA 1 arg->sig_ptr 0-u64max
USER_DATA 1 arg->sig_size 0-16128
USER_PTR 1 arg->__reserved2