Defined in 2 files as a macro:

Defined in 1 files as a function:

Referenced in 19 files:

Smatch caller information:

net/rds/cong.c rds_cong_test_bit() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s16max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nr 0-s16max[c]

drivers/block/drbd/drbd_bitmap.c drbd_bm_count_bits() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-2305843009213693951,18446744069414617088-u64max
PARAM_VALUE 1 addr 0,18379471554275704832,18446612682070032384
CAPPED_DATA 0 nr 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 nr 0-s32max,18446744069414617088-u64max[c]
USER_DATA 0 nr 0-s32max,18446744069414617088-u64max
LOCK2 &b->bm_lock
LOCK2 flags
HALF_LOCKED2 &resource->req_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct drbd_bitmap)->bm_lock

drivers/block/drbd/drbd_bitmap.c drbd_bm_test_bit() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-32766
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
CAPPED_DATA 0 nr 1
DATA_SOURCE 1 addr r bm_map_pidx
PREEMPT_ADD <- disables preempt
LOCK2 &b->bm_lock
LOCK2 flags
TYPE_LOCK (struct drbd_bitmap)->bm_lock

fs/gfs2/lock_dlm.c gfs2_control_func() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 1 *addr 0-255
BUF_SIZE 1 addr 24
CAPPED_DATA 0 nr 1
PREEMPT_ADD <- disables preempt
LOCK2 &ls->ls_recover_spin
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct lm_lockstruct)->ls_recover_spin

fs/gfs2/lock_dlm.c gfs2_control_func() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 1 *addr 0-255
BUF_SIZE 1 addr 24
CAPPED_DATA 0 nr 1
HALF_LOCKED2 &pool->lock

fs/ocfs2/quota_local.c ocfs2_test_bit_unaligned() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-120
PARAM_VALUE 1 addr 0,8-u64max
DATA_SOURCE 0 nr $0 [m]
DATA_SOURCE 1 addr r correct_addr_and_bit_unaligned
LOCK2 &oinfo->dqi_gqinode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

drivers/md/dm-log.c log_test_bit() -> test_bit_le()

Type Parameter Key Value
BUF_SIZE 1 addr s32min,1-536870912
DATA_SOURCE 0 nr $1
DATA_SOURCE 1 addr $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 nr unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rh->recovery_count

fs/f2fs/segment.c check_block_count() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
BUF_SIZE 1 addr 64
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &curseg->journal_rwsem
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sit_i->sentry_lock

fs/f2fs/segment.c f2fs_clear_prefree_segments() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
BUF_SIZE 1 addr 64
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
HALF_LOCKED2 &sbi->pin_sem.internal_rwsem
HALF_LOCKED2 &sbi->umount_mutex
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/ext4/inode.c __ext4_get_inode_loc() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-2147483646
CAPPED_DATA 0 nr 1
NOSPEC 0 nr
NOSPEC 0 nr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nr 0-2147483646[c]
UNITS 1 addr unit_byte
HALF_LOCKED2 &ei->i_data_sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &inode->i_rwsem

drivers/nvdimm/label.c nd_label_data_init() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-4294967294
CAPPED_DATA 0 nr 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

fs/ext4/ialloc.c ext4_mark_inode_used() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
CAPPED_DATA 0 nr 1
UNITS 1 addr unit_byte

fs/ext4/ialloc.c ext4_orphan_get() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
CAPPED_DATA 0 nr 1
UNITS 1 addr unit_byte

fs/ext4/ialloc.c ext4_orphan_get() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 addr 4096-ptr_max
CAPPED_DATA 0 nr 1
UNITS 1 addr unit_byte

fs/ocfs2/suballoc.c ocfs2_test_bg_bit_allocatable() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-64
CAPPED_DATA 0 nr 1
DATA_SOURCE 0 nr $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &orphan_dir_inode->i_rwsem

fs/ocfs2/suballoc.c ocfs2_test_bg_bit_allocatable() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-64
PARAM_VALUE 1 addr 4096-ptr_max
CAPPED_DATA 0 nr 1
DATA_SOURCE 0 nr $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &jh->b_state_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &orphan_dir_inode->i_rwsem
TYPE_LOCK (struct journal_head)->b_state_lock

fs/ocfs2/suballoc.c ocfs2_test_suballoc_bit() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-u16max
DATA_SOURCE 0 nr $5
RX_PATH
TASK_NOT_RUNNING
LOCK2 &suballoc->i_rwsem
HALF_LOCKED2 &osb->nfs_sync_rwlock
TYPE_LOCK (struct inode)->i_rwsem

fs/ext4/mballoc.c mb_test_bit() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 addr 0,8-u64max
DATA_SOURCE 0 nr $0 [m]
DATA_SOURCE 1 addr r mb_correct_addr_and_bit
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nr 0-s32max,18446744071562067968-u64max
UNITS 0 nr unit_byte
UNITS 1 addr unit_byte
HALF_LOCKED2 sb

fs/ocfs2/move_extents.c ocfs2_probe_alloc_group() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-65534,18446744071562067968-u64max
CAPPED_DATA 0 nr 1
UNITS 0 nr unit_byte
LOCK2 &gb_inode->i_rwsem
LOCK2 &inode->i_rwsem
LOCK2 &tl_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/inline.c f2fs_add_inline_entries() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-18446744073709551614
PARAM_VALUE 1 addr 16,4096-ptr_max
BUF_SIZE 1 addr 27
CAPPED_DATA 0 nr 1
CAPPED_DATA 0 nr 1
DATA_SOURCE 1 addr $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

drivers/md/md-bitmap.c md_bitmap_file_test_bit() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s16max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
DATA_SOURCE 0 nr r file_page_offset
DATA_SOURCE 1 addr r kmap_local_page
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

drivers/md/md-bitmap.c md_bitmap_init_from_disk() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s16max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
DATA_SOURCE 0 nr r file_page_offset
DATA_SOURCE 1 addr r kmap_local_page
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mddev->bitmap_info.mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

fs/ntfs3/bitmap.c ntfs_trim_fs() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-4294967294
CAPPED_DATA 0 nr 1
CAPABLE 0 21
USER_DATA 0 nr 0-4294967294[c]
UNITS 0 nr unit_bit
UNITS 1 addr unit_byte
LOCK2 &wnd->rw_lock
TYPE_LOCK (struct wnd_bitmap)->rw_lock

drivers/md/persistent-data/dm-space-map-common.c sm_lookup_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0,4-60
PARAM_VALUE 1 addr 0-ptr_max
CAPPED_DATA 0 nr 1
BIT_INFO 0 nr 0x0,0x3e

drivers/md/persistent-data/dm-space-map-common.c sm_lookup_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 1,5-61
PARAM_VALUE 1 addr 4096-ptr_max
CAPPED_DATA 0 nr 1

fs/ext2/balloc.c ext2_try_to_allocate() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-2147483645
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
HALF_LOCKED2 &ei->truncate_mutex

fs/ext2/balloc.c ext2_try_to_allocate() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-2147483644
PARAM_VALUE 1 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
HALF_LOCKED2 &ei->truncate_mutex

fs/ext2/balloc.c ext2_valid_block_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max
CAPPED_DATA 0 nr 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
HALF_LOCKED2 &ei->truncate_mutex

fs/ext2/balloc.c ext2_valid_block_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max
PARAM_VALUE 1 addr 4096-ptr_max
CAPPED_DATA 0 nr 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
HALF_LOCKED2 &ei->truncate_mutex

fs/ocfs2/reservations.c ocfs2_validate_resmap_bits() -> test_bit_le()

Type Parameter Key Value
CAPPED_DATA 0 nr 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 nr unit_byte
LOCK2 global &resv_lock
HALF_LOCKED2 &oi->ip_alloc_sem

fs/udf/balloc.c read_block_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max
CAPPED_DATA 0 nr 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
LOCK2 &sbi->s_alloc_mutex
HALF_LOCKED2 &iinfo->i_data_sem
TYPE_LOCK (struct udf_sb_info)->s_alloc_mutex

fs/udf/balloc.c udf_bitmap_new_block() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
CAPPED_DATA 0 nr 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
LOCK2 &sbi->s_alloc_mutex
HALF_LOCKED2 &iinfo->i_data_sem
TYPE_LOCK (struct udf_sb_info)->s_alloc_mutex

fs/udf/balloc.c udf_bitmap_new_block() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
LOCK2 &sbi->s_alloc_mutex
HALF_LOCKED2 &iinfo->i_data_sem
TYPE_LOCK (struct udf_sb_info)->s_alloc_mutex

fs/udf/balloc.c udf_bitmap_new_block() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
LOCK2 &sbi->s_alloc_mutex
HALF_LOCKED2 &iinfo->i_data_sem
TYPE_LOCK (struct udf_sb_info)->s_alloc_mutex

fs/exfat/balloc.c exfat_clear_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 *addr 0-255
CAPPED_DATA 0 nr 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &sbi->bitmap_lock

fs/exfat/balloc.c exfat_test_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 *addr 0-255
CAPPED_DATA 0 nr 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte

fs/f2fs/dir.c f2fs_find_target_dentry() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-18446744073709551614
BUF_SIZE 1 addr 27
CAPPED_DATA 0 nr 1
CAPPED_DATA 0 nr 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem

fs/ext4/balloc.c ext4_valid_block_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-2147483646
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
LOCK2 sb

fs/ext4/balloc.c ext4_valid_block_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-2147483646
PARAM_VALUE 1 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
LOCK2 sb

fs/ocfs2/ioctl.c ocfs2_info_freefrag_scan_chain() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
UNITS 0 nr unit_byte
HALF_LOCKED2 &gb_inode->i_rwsem

fs/f2fs/node.c __f2fs_build_free_nids() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-9439488
CAPPED_DATA 0 nr 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nm_i->nat_tree_lock.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/f2fs/node.c scan_free_nid_bits() -> test_bit_le()

Type Parameter Key Value
CAPPED_DATA 0 nr 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nm_i->nat_tree_lock.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem

fs/f2fs/node.c update_free_nid_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-9439488
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &nm_i->nat_tree_lock.internal_rwsem
HALF_LOCKED2 &nm_i->nid_list_lock
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem

fs/f2fs/node.c update_free_nid_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 1 *addr 0-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 nr unit_byte
HALF_LOCKED2 &nm_i->nat_tree_lock.internal_rwsem
HALF_LOCKED2 &nm_i->nid_list_lock

fs/f2fs/node.c update_free_nid_bitmap() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 1 *addr 0-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 nr unit_byte
HALF_LOCKED2 &nm_i->nat_tree_lock.internal_rwsem
HALF_LOCKED2 &nm_i->nid_list_lock
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem

fs/ocfs2/blockcheck.c ocfs2_hamming_fix() -> test_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-4294967294
CAPPED_DATA 0 nr 1
DATA_SOURCE 1 addr $0
FUZZY_MAX 0 nr 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 addr unit_byte
HALF_LOCKED2 &((bucket->bu_inode->i_sb)->s_fs_info)->osb_xattr_lock