Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

crypto/adiantum.c nhpoly1305_units() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex

fs/nilfs2/sufile.c nilfs_sufile_alloc() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 1 val u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nilfs2/sufile.c nilfs_sufile_alloc() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 1 val 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nilfs2/sufile.c nilfs_sufile_mod_counter() -> le64_add_cpu()

Type Parameter Key Value
DATA_SOURCE 1 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nilfs->ns_segctor_sem

fs/nilfs2/sufile.c nilfs_sufile_mod_counter() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
DATA_SOURCE 1 val $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nilfs->ns_segctor_sem

fs/ntfs3/attrib.c attr_insert_range() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *var 0-u64max
USER_DATA 1 val 0-s32max[c]
UNITS 1 val unit_bit
USER_PTR 0 var
LOCK2 &inode->i_rwsem
LOCK2 &ni->base->ni_lock
LOCK2 &ni->file.run_lock
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct ntfs_inode)->file.run_lock
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/ntfs3/attrib.c attr_insert_range() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *var 0-u64max
USER_DATA 1 val 0-s32max[c]
UNITS 1 val unit_bit
USER_PTR 0 var
LOCK2 &inode->i_rwsem
LOCK2 &ni->base->ni_lock
LOCK2 &ni->file.run_lock
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct ntfs_inode)->file.run_lock
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/ocfs2/resize.c ocfs2_group_add() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
CAPABLE 0 24
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &main_bm_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ocfs2/resize.c ocfs2_update_last_group_and_inode() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
CAPABLE 0 24
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &bm_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ocfs2/alloc.c ocfs2_make_right_split_rec() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 1891730883249541128,5118939721981898760
MEM_ZERO 0 var
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tl_inode->i_rwsem

fs/ocfs2/alloc.c ocfs2_merge_rec_left() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &tl_inode->i_rwsem

fs/ocfs2/alloc.c ocfs2_merge_rec_right() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &tl_inode->i_rwsem

fs/ocfs2/alloc.c ocfs2_subtract_from_rec() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
DATA_SOURCE 1 val r ocfs2_clusters_to_blocks
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ocfs2/alloc.c ocfs2_truncate_rec() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tl_inode->i_rwsem

fs/nilfs2/cpfile.c nilfs_cpfile_clear_snapshot() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 1 val u64max
CAPABLE 0 21
NOCHECK_CALL
LOCK2 &nilfs->ns_snapshot_mount_mutex
HALF_LOCKED2 &inode->i_sb->s_fs_info->ns_segctor_sem
TYPE_LOCK (struct the_nilfs)->ns_snapshot_mount_mutex

fs/nilfs2/cpfile.c nilfs_cpfile_create_checkpoint() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nilfs2/cpfile.c nilfs_cpfile_delete_checkpoints() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 1 val 1-u64max
CAPABLE 0 21
NOCHECK_CALL

fs/nilfs2/cpfile.c nilfs_cpfile_set_snapshot() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 1 val 1
CAPABLE 0 21
NOCHECK_CALL
LOCK2 &nilfs->ns_snapshot_mount_mutex
HALF_LOCKED2 &inode->i_sb->s_fs_info->ns_segctor_sem
TYPE_LOCK (struct the_nilfs)->ns_snapshot_mount_mutex

fs/ocfs2/refcounttree.c ocfs2_split_refcount_rec() -> le64_add_cpu()

Type Parameter Key Value
PARAM_VALUE 1 val 0-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 val unit_byte
HALF_LOCKED2 &inode->i_rwsem