Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/posix_acl.c set_posix_acl() -> posix_acl_valid()

Type Parameter Key Value
PARAM_VALUE 1 acl 1-u64max
PARAM_VALUE 1 acl->a_entries->e_gid.val 0-4294967295
PARAM_VALUE 1 acl->a_entries->e_perm 0-u16max
PARAM_VALUE 1 acl->a_entries->e_tag s16min-s16max
PARAM_VALUE 1 acl->a_entries->e_uid.val 0-4294967295
BUF_SIZE 1 acl (-1)-s32max
BUF_SIZE 1 acl (-1)-s32max
DATA_SOURCE 1 acl $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 acl->a_count 0-s32max[c]
HALF_LOCKED2 &inode->i_rwsem

fs/9p/acl.c v9fs_iop_set_acl() -> posix_acl_valid()

Type Parameter Key Value
PARAM_VALUE 1 acl 4096-ptr_max
PARAM_VALUE 1 acl->a_entries->e_gid.val 0-4294967295
PARAM_VALUE 1 acl->a_entries->e_uid.val 0-4294967295
BUF_SIZE 1 acl (-1)-s32max
BUF_SIZE 1 acl (-1)-s32max
DATA_SOURCE 1 acl $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 acl->a_count 0-s32max[c]
HALF_LOCKED2 &dentry->d_lockref.lock