Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ceph/osdmap.c crush_decode() -> decode_choose_args()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 *(*p) (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 end 4097-ptr_max
PARAM_VALUE 2 c 4096-ptr_max
PARAM_VALUE 2 c->buckets 16,4096-ptr_max
PARAM_VALUE 2 c->max_rules 0-s32max
PARAM_VALUE 2 c->names.rb_node 4096-ptr_max
PARAM_VALUE 2 c->rules 16,4096-ptr_max
PARAM_VALUE 2 c->type_names.rb_node 4096-ptr_max
BUF_SIZE 0 p 8
BUF_SIZE 2 c 80
BUF_SIZE 2 c->buckets 0-u64max
BUF_SIZE 2 c->rules 0-34359738360
CAPPED_DATA 1 end 1
CAPPED_DATA 2 c->max_buckets 1
CAPPED_DATA 2 c->max_rules 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 c r _kzalloc_noprof
PARAM_COMPARE 0 *p != $1
BIT_INFO 2 c->choose_args 0x0,0x7fffffffffffffff
BIT_INFO 2 c->names 0x0,0x7fffffffffffffff
BIT_INFO 2 c->type_names 0x0,0x7fffffffffffffff
NOSPEC 2 c->max_rules
PREEMPT_ADD
USER_DATA 2 c->choose_local_fallback_tries 0-u32max
USER_DATA 2 c->choose_local_tries 0-u32max
USER_DATA 2 c->choose_total_tries 0-u32max
USER_DATA 2 c->chooseleaf_descend_once 0-u32max
USER_DATA 2 c->chooseleaf_stable 0-255
USER_DATA 2 c->chooseleaf_vary_r 0-255
USER_DATA 2 c->max_buckets s32min-s32max[c]
USER_DATA 2 c->max_devices s32min-s32max
USER_DATA 2 c->max_rules 0-s32max[c]
UNITS 1 end unit_byte
LOCK2 &osdc->lock
TYPE_LOCK (struct ceph_osd_client)->lock