Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c __kmalloc_nolock_noprof() -> slab_post_alloc_hook()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->ctor 0
PARAM_VALUE 1 flags 0,8192-u32max
PARAM_VALUE 2 size 1
PARAM_VALUE 3 p 346592138814414848
PARAM_VALUE 4 ac 963050304185716736,1144582057289515008
PARAM_VALUE 4 ac->alloc_flags 1-u32max
PARAM_VALUE 4 ac->lru 0
DATA_SOURCE 0 s r kmalloc_slab
DATA_SOURCE 1 flags $2 [m]
DATA_SOURCE 4 ac $4
BIT_INFO 0 s->flags 0x0,0xffffffff
BIT_INFO 1 flags 0x82000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slub.c kmem_cache_alloc_bulk_noprof() -> slab_post_alloc_hook()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 flags 2080,2336,3264,3520,10272,10528,11712
PARAM_VALUE 2 size 1-8813306445821
PARAM_VALUE 3 *(*p) (-4611686018427387904)-4611686018427387903
PARAM_VALUE 4 ac 3287841646639136768
PARAM_VALUE 4 ac->alloc_flags 0
PARAM_VALUE 4 ac->lru 0
PARAM_VALUE 4 ac->orig_size 0-u32max
BUF_SIZE 3 p (-1)-s32max
BUF_SIZE 3 p (-1)-s32max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0 [m]
DATA_SOURCE 1 flags $1
DATA_SOURCE 2 size $2 [m]
DATA_SOURCE 3 p $3
FUZZY_MAX 1 flags 3520
FUZZY_MAX 2 size 1
PARAM_COMPARE 0 s == $0
NOSPEC 2 size
HARD_MAX 1 flags 11712
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 size 1-8813306445821[c]
UNITS 2 size unit_array_size
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

mm/slub.c kmem_cache_alloc_from_sheaf_noprof() -> slab_post_alloc_hook()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 flags 43008
PARAM_VALUE 2 size 1
PARAM_VALUE 3 p 974589504568291328
PARAM_VALUE 4 ac 2411219139259342848
PARAM_VALUE 4 ac->alloc_flags 0
PARAM_VALUE 4 ac->lru 0
PARAM_VALUE 4 ac->orig_size 0-u32max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slub.c slab_alloc_node() -> slab_post_alloc_hook()

Type Parameter Key Value
PARAM_VALUE 0 s 1-u64max
PARAM_VALUE 0 s->ctor 0
PARAM_VALUE 2 size 1
PARAM_VALUE 3 p 7094210735271129088
PARAM_VALUE 4 ac 4096-ptr_max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s r slab_pre_alloc_hook
DATA_SOURCE 1 flags $1
DATA_SOURCE 4 ac $3
PARAM_COMPARE 0 s == $0
NOSPEC 4 ac->orig_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 4 ac->orig_size 1-8192[c]
USER_DATA 4 ac->orig_size 1-8192