Open Menu /

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

net/rds/cong.c rds_cong_set_bit() -> set_bit_le()

Type Parameter Key Value
PARAM_VALUE 0 nr 0-s16max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rs->rs_recv_lock
LOCK2 flags
TYPE_LOCK (struct rds_sock)->rs_recv_lock

drivers/md/md-bitmap.c md_bitmap_file_set_bit() -> set_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
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bitmap->counts.lock
HALF_LOCKED2 &bitmap->mddev->bitmap_info.mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 irq

fs/exfat/balloc.c exfat_set_bitmap() -> set_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
NOCHECK_CALL
UNITS 1 addr unit_byte
HALF_LOCKED2 &sbi->bitmap_lock

arch/x86/kvm/../../../virt/kvm/kvm_main.c mark_page_dirty_in_slot() -> set_bit_le()

Type Parameter Key Value
PARAM_VALUE 1 addr 1-u64max
BUF_SIZE 1 addr 8-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 nr unit_page
HALF_LOCKED2 &gpc->lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &v->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 flags