Defined in 2 files as a variable:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/test_meminit.c do_kmem_cache_size() -> check_buf()

Type Parameter Key Value
PARAM_VALUE 2 want_ctor 0
PARAM_VALUE 3 want_rcu 0
CAPPED_DATA 1 size 1
DATA_SOURCE 1 size $0
DATA_SOURCE 2 want_ctor $1
DATA_SOURCE 3 want_rcu $2
DATA_SOURCE 4 want_zero $3
BIT_INFO 4 want_zero 0x0,0x0

lib/test_meminit.c do_kmem_cache_size() -> check_buf()

Type Parameter Key Value
CAPPED_DATA 1 size 1
DATA_SOURCE 0 buf r kmem_cache_alloc_noprof
DATA_SOURCE 1 size $0
DATA_SOURCE 2 want_ctor $1
DATA_SOURCE 3 want_rcu $2
DATA_SOURCE 4 want_zero $3
BIT_INFO 3 want_rcu 0x0,0x0
BIT_INFO 4 want_zero 0x0,0x0

lib/test_meminit.c do_kmem_cache_size() -> check_buf()

Type Parameter Key Value
PARAM_VALUE 1 size 0-s32max
PARAM_VALUE 3 want_rcu 1
PARAM_VALUE 4 want_zero 0
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 buf r kmem_cache_alloc_noprof
DATA_SOURCE 1 size $0
DATA_SOURCE 2 want_ctor $1
DATA_SOURCE 3 want_rcu $2
LOCK2 rcu_read