Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c __pcs_install_empty_sheaf() -> barn_put_empty_sheaf()

Type Parameter Key Value
PARAM_VALUE 0 barn 4096-ptr_max
PARAM_VALUE 1 sheaf 4096-ptr_max
BUF_SIZE 1 sheaf (-1),40-s32max
BUF_SIZE 1 sheaf (-1),40-s32max
DATA_SOURCE 0 barn $3
DATA_SOURCE 1 sheaf $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slub.c __pcs_install_empty_sheaf() -> barn_put_empty_sheaf()

Type Parameter Key Value
PARAM_VALUE 0 barn 4096-ptr_max
PARAM_VALUE 1 sheaf 4096-ptr_max
BUF_SIZE 1 sheaf (-1),40-s32max
BUF_SIZE 1 sheaf (-1),40-s32max
DATA_SOURCE 0 barn $3
DATA_SOURCE 1 sheaf $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slub.c __pcs_replace_empty_main() -> barn_put_empty_sheaf()

Type Parameter Key Value
PARAM_VALUE 0 barn 4096-ptr_max
PARAM_VALUE 0 barn->nr_full 0
PARAM_VALUE 1 sheaf 4096-ptr_max
DATA_SOURCE 0 barn r get_barn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slub.c __pcs_replace_empty_main() -> barn_put_empty_sheaf()

Type Parameter Key Value
PARAM_VALUE 0 barn 4096-ptr_max
PARAM_VALUE 0 barn->nr_full 0
PARAM_VALUE 1 sheaf 4096-ptr_max
DATA_SOURCE 0 barn r get_barn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slub.c __pcs_replace_full_main() -> barn_put_empty_sheaf()

Type Parameter Key Value
PARAM_VALUE 0 barn 4096-ptr_max
PARAM_VALUE 1 sheaf 4096-ptr_max
BUF_SIZE 1 sheaf (-1),40-s32max
BUF_SIZE 1 sheaf (-1),40-s32max
DATA_SOURCE 0 barn r get_barn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slub.c rcu_free_sheaf() -> barn_put_empty_sheaf()

Type Parameter Key Value
PARAM_VALUE 0 barn 4096-ptr_max
PARAM_VALUE 0 barn->nr_empty 0-9
PARAM_VALUE 0 barn->nr_full 10-u32max
PARAM_VALUE 1 sheaf 4096-ptr_max
PARAM_VALUE 1 sheaf->cache 4096-ptr_max
PARAM_VALUE 1 sheaf->cache->cpu_stats 4096-ptr_max
PARAM_VALUE 1 sheaf->size 0
DATA_SOURCE 0 barn r get_barn_node
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu