Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sctp/tsnmap.c bitmap_shift_right() -> __bitmap_shift_right()

Type Parameter Key Value
PARAM_VALUE 2 shift 0-65534
BUF_SIZE 0 dst 1-512
BUF_SIZE 0 dst 1-512
BUF_SIZE 1 src 1-512
BUF_SIZE 1 src 1-512
CAPPED_DATA 2 shift 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 shift $2
DATA_SOURCE 3 nbits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/test_bitmap.c bitmap_shift_right() -> __bitmap_shift_right()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,5538814463519436800
PARAM_VALUE 0 *dst 0
PARAM_VALUE 1 src 0,5538814463519436800
PARAM_VALUE 1 *src 0
PARAM_VALUE 2 shift 0,11
PARAM_VALUE 3 nbits 0,64
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 shift $2
DATA_SOURCE 3 nbits $3
HARD_MAX 2 shift 11
HARD_MAX 3 nbits 64
NOCHECK_CALL
UNITS 3 nbits unit_bit

drivers/net/wireless/ath/carl9170/tx.c bitmap_shift_right() -> __bitmap_shift_right()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 shift 0-64
PARAM_VALUE 3 nbits 128
BUF_SIZE 0 dst 16
BUF_SIZE 0 dst 16
BUF_SIZE 1 src 16
BUF_SIZE 1 src 16
CAPPED_DATA 2 shift 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 shift $2
DATA_SOURCE 3 nbits $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tid_info->lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &ar->mutex
TYPE_LOCK (struct carl9170_sta_tid)->lock

drivers/gpu/drm/i915/gt/intel_sseu.c bitmap_shift_right() -> __bitmap_shift_right()

Type Parameter Key Value
PARAM_VALUE 2 shift 0-2,4,8
PARAM_VALUE 3 nbits 64
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 shift $2
DATA_SOURCE 3 nbits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL