Defined in 1 files as a macro:
Defined in 3 files as a function:
- arch/arm/include/asm/bitops.h, line 255 (as a function)
- include/linux/find.h, line 508 (as a function)
- include/linux/find.h, line 529 (as a function)
Referenced in 17 files:
- drivers/block/drbd/drbd_bitmap.c, line 1311
- drivers/md/dm-log.c, line 758
- drivers/media/rc/ite-cir.c, line 154
- drivers/nvdimm/label.c
- fs/btrfs/free-space-tree.c, line 449
- fs/ext2/ext2.h, line 815
- fs/ext4/ext4.h, line 1342
- fs/f2fs/dir.c, line 633
- fs/f2fs/segment.c, line 2265
- fs/f2fs/segment.h, line 830
- fs/nilfs2/alloc.h, line 67
- fs/ntfs3/bitmap.c
- fs/ntfs3/index.c
- fs/ocfs2/ocfs2.h, line 941
- fs/ufs/util.h, line 394
- include/linux/find.h, line 527
- lib/find_bit.c, line 268
Smatch caller information:
drivers/block/drbd/drbd_bitmap.c __bm_find_next() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | size | 32768 |
| PARAM_VALUE | 2 | offset | 0-32766 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | r __bm_map_pidx |
| LOCK2 | &sock->mutex | ||
| TYPE_LOCK | (struct drbd_socket)->mutex |
fs/ocfs2/quota_local.c ocfs2_find_next_zero_bit_unaligned() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,8-u64max |
| PARAM_VALUE | 1 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 0,8-56 |
| DATA_SOURCE | 0 | addr | r correct_addr_and_bit_unaligned |
| DATA_SOURCE | 2 | offset | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &dquot->dq_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dquot)->dq_lock |
fs/ext2/ialloc.c ext2_new_inode() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | offset | 0-18446744073709551614 |
| FUZZY_MAX | 2 | offset | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
fs/ntfs3/index.c indx_find_free() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | offset | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ni->ni_lock |
fs/ntfs3/index.c scan_for_free() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 0-4294967294 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | size | $2 |
| DATA_SOURCE | 2 | offset | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ni->ni_lock |
drivers/md/dm-log.c core_get_resync_work() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 0-s32max,18446744071562067968-18446744073709551614 |
| BUF_SIZE | 0 | addr | s32min,1-536870912 |
| CAPPED_DATA | 2 | offset | 1 |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| LOCK2 | &pool->lock | ||
| LOCK2 | &rh->recovery_count | ||
| TYPE_LOCK | (struct dm_region_hash)->recovery_count |
fs/f2fs/segment.c check_block_count() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 2 | offset | 0-64 |
| BUF_SIZE | 0 | addr | 64 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 1 | size | r f2fs_usable_blks_in_seg |
| PARAM_COMPARE | 1 | size | >= $2 |
| PARAM_COMPARE | 2 | offset | <= $1 |
| 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() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | size | 0-u32max |
| PARAM_VALUE | 2 | offset | 0-64 |
| BUF_SIZE | 0 | addr | 64 |
| CAPPED_DATA | 2 | offset | 1 |
| FUZZY_MAX | 2 | offset | 0 |
| PARAM_COMPARE | 1 | size | >= $2 |
| PARAM_COMPARE | 2 | offset | <= $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_page |
| UNITS | 2 | offset | unit_page |
| 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/btrfs/free-space-tree.c btrfs_convert_free_space_to_extents() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 1-18446744073709551614 |
| PARAM_VALUE | 1 | size | 1-u64max |
| PARAM_VALUE | 2 | offset | 0-64 |
| BUF_SIZE | 0 | addr | 0-s32max |
| CAPPED_DATA | 2 | offset | 1 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | r alloc_bitmap |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/nvdimm/label.c nd_label_active() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 0-u32max |
| PARAM_VALUE | 2 | offset | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/nvdimm/label.c nd_label_active() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 1-65 |
| CAPPED_DATA | 2 | offset | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/nvdimm/label.c nd_label_active_count() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 0-u32max |
| PARAM_VALUE | 2 | offset | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/nvdimm/label.c nd_label_active_count() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 1-65 |
| CAPPED_DATA | 2 | offset | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/nvdimm/label.c nd_label_reserve_dpa() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 0-u32max |
| PARAM_VALUE | 2 | offset | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &nvdimm_bus->reconfig_mutex |
drivers/nvdimm/label.c nd_label_reserve_dpa() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 1-65 |
| CAPPED_DATA | 2 | offset | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &nvdimm_bus->reconfig_mutex |
fs/ext4/ialloc.c find_inode_bit() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
fs/ocfs2/localalloc.c ocfs2_local_alloc_find_clear_bits() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 0-s32max |
| CAPPED_DATA | 2 | offset | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &oi->ip_alloc_sem | ||
| HALF_LOCKED2 | &tl_inode->i_rwsem |
fs/ocfs2/localalloc.c ocfs2_local_alloc_find_clear_bits() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-s32max |
| PARAM_VALUE | 2 | offset | 1-s32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &oi->ip_alloc_sem | ||
| HALF_LOCKED2 | &tl_inode->i_rwsem |
fs/ocfs2/localalloc.c ocfs2_sync_local_to_main() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 0-s32max |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 2 | offset | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &local_alloc_inode->i_rwsem | ||
| HALF_LOCKED2 | &main_bm_inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ufs/balloc.c _ubh_find_next_zero_bit_() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *addr | 0-255 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 2 | offset | $4 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
fs/nilfs2/alloc.c nilfs_palloc_find_available_slot() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | size | $2 |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nilfs2/alloc.c nilfs_palloc_find_available_slot() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-s32max |
| PARAM_VALUE | 2 | offset | 0-s32max |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/suballoc.c ocfs2_block_group_find_clear_bits() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | offset | 0-s32max |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 1 | size | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &orphan_dir_inode->i_rwsem |
fs/ocfs2/suballoc.c ocfs2_block_group_find_clear_bits() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 1-s32max |
| DATA_SOURCE | 1 | size | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &orphan_dir_inode->i_rwsem |
fs/ocfs2/suballoc.c ocfs2_find_max_contig_free_bits() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u16max |
| PARAM_VALUE | 2 | offset | 0-65534 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | size | $1 |
| DATA_SOURCE | 2 | offset | $2 [m] |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | size | 1-u16max |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| HALF_LOCKED2 | &bm_inode->i_rwsem |
fs/ocfs2/alloc.c ocfs2_trim_group() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 0-4294967294 |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 1 | size | $4 |
| DATA_SOURCE | 2 | offset | $3 [m] |
| CAPABLE | 0 | 21 | |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| NOSPEC | 2 | offset | |
| NOSPEC | 2 | offset | |
| USER_DATA | 2 | offset | 0-s32max[c] |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| LOCK2 | &main_bm_inode->i_rwsem | ||
| LOCK2 | &osb->obs_trim_fs_mutex | ||
| TYPE_LOCK | (struct inode)->i_rwsem | ||
| TYPE_LOCK | (struct ocfs2_super)->obs_trim_fs_mutex |
fs/ext4/mballoc.c mb_find_next_zero_bit() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,8-u64max |
| PARAM_VALUE | 1 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | addr | r mb_correct_addr_and_bit |
| DATA_SOURCE | 2 | offset | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | offset | 0-s32max[c] |
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| HALF_LOCKED2 | sb |
fs/ntfs3/bitmap.c wnd_rescan() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | offset | 0-65 |
| CAPPED_DATA | 2 | offset | 1 |
| CAPPED_DATA | 2 | offset | 1 |
| FUZZY_MAX | 2 | offset | 0 |
| PARAM_COMPARE | 1 | size | >= $2 |
| PARAM_COMPARE | 2 | offset | <= $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | size | unit_bit |
| UNITS | 2 | offset | unit_bit |
fs/ntfs3/bitmap.c wnd_scan() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 0-4294967294 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | size | $3 |
| DATA_SOURCE | 2 | offset | $2 [m] |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | size | unit_bit |
| UNITS | 2 | offset | unit_bit |
| HALF_LOCKED2 | &wnd->rw_lock |
fs/ext2/balloc.c bitmap_search_next_usable_block() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 1 | size | $2 |
| DATA_SOURCE | 2 | offset | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| HALF_LOCKED2 | &ei->truncate_mutex |
fs/ext2/balloc.c ext2_valid_block_bitmap() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 2 | offset | 0-s32max |
| CAPPED_DATA | 2 | offset | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| HALF_LOCKED2 | &ei->truncate_mutex |
fs/ext2/balloc.c find_next_usable_block() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 1-s32max |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 2 | offset | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| HALF_LOCKED2 | &ei->truncate_mutex |
fs/ocfs2/reservations.c ocfs2_resmap_find_free_bits() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | offset | 0-s32max,18446744071562067968-u64max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| LOCK2 | global &resv_lock | ||
| HALF_LOCKED2 | &oi->ip_alloc_sem |
fs/ocfs2/reservations.c ocfs2_resmap_find_free_bits() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | offset | 1-s32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| LOCK2 | global &resv_lock | ||
| HALF_LOCKED2 | &oi->ip_alloc_sem |
fs/f2fs/dir.c f2fs_room_for_filename() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | offset | 0-65 |
| BUF_SIZE | 0 | addr | 27 |
| BUF_SIZE | 0 | addr | 27 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| TYPE_LOCK | (struct f2fs_rwsem)->internal_rwsem |
drivers/media/rc/ite-cir.c ite_decode_bytes() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 5510700360482189312 |
| PARAM_VALUE | 1 | size | 8-4294967288 |
| PARAM_VALUE | 2 | offset | 1-65 |
| BUF_SIZE | 0 | addr | 32 |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | addr | $1 |
| BIT_INFO | 1 | size | 0x0,0xfffffff8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
fs/ext4/balloc.c ext4_valid_block_bitmap() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-ptr_max |
| PARAM_VALUE | 2 | offset | 0-2147483646 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| LOCK2 | sb |
fs/ext4/balloc.c ext4_valid_block_bitmap_padding() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u64max |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 2 | offset | r num_clusters_in_group |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 1 | size | > $2 |
| PARAM_COMPARE | 2 | offset | < $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| LOCK2 | sb |
fs/ufs/ialloc.c _ubh_find_next_zero_bit_() -> find_next_zero_bit_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *addr | 0-255 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 2 | offset | $4 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | size | unit_byte |
| UNITS | 2 | offset | unit_byte |
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct ufs_sb_info)->s_lock |