Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/btrfs/compression.c alloc_workspace_manager() -> alloc_workspace()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->compr_wsm 4096-ptr_max
PARAM_VALUE 1 type 0-2
PARAM_VALUE 2 level 0
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 type $1

fs/btrfs/compression.c btrfs_get_workspace() -> alloc_workspace()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->compr_wsm 4096-ptr_max
PARAM_VALUE 1 type 0-2
PARAM_VALUE 2 level (-15)-15
CAPPED_DATA 2 level 1
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 type $1
DATA_SOURCE 2 level $2
HARD_MAX 1 type 2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fs_info unit_byte

fs/jffs2/compr_lzo.c jffs2_lzo_init() -> alloc_workspace()

Type Parameter Key Value

net/ceph/osdmap.c get_workspace() -> alloc_workspace()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->max_rules 1-u32max
CAPPED_DATA 0 fs_info->max_rules 1
DATA_SOURCE 0 fs_info $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fs_info->choose_local_fallback_tries 0-u32max
USER_DATA 0 fs_info->choose_local_tries 0-u32max
USER_DATA 0 fs_info->choose_total_tries 0-u32max
USER_DATA 0 fs_info->chooseleaf_descend_once 0-u32max
USER_DATA 0 fs_info->chooseleaf_stable 0-255
USER_DATA 0 fs_info->chooseleaf_vary_r 0-255
USER_DATA 0 fs_info->max_devices s32min-s32max
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_osd_client)->lock

net/ceph/osdmap.c osdmap_set_crush() -> alloc_workspace()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->buckets 16,4096-ptr_max
PARAM_VALUE 0 fs_info->max_rules 0-s32max
PARAM_VALUE 0 fs_info->names.rb_node 4096-ptr_max
PARAM_VALUE 0 fs_info->rules 16,4096-ptr_max
PARAM_VALUE 0 fs_info->type_names.rb_node 4096-ptr_max
BUF_SIZE 0 fs_info (-1),80
BUF_SIZE 0 fs_info (-1),80
DATA_SOURCE 0 fs_info $1
NOSPEC 0 fs_info->max_rules
PREEMPT_ADD
USER_DATA 0 fs_info->choose_local_fallback_tries 0-u32max
USER_DATA 0 fs_info->choose_local_tries 0-u32max
USER_DATA 0 fs_info->choose_total_tries 0-u32max
USER_DATA 0 fs_info->chooseleaf_descend_once 0-u32max
USER_DATA 0 fs_info->chooseleaf_stable 0-255
USER_DATA 0 fs_info->chooseleaf_vary_r 0-255
USER_DATA 0 fs_info->max_buckets s32min-s32max[c]
USER_DATA 0 fs_info->max_devices s32min-s32max
USER_DATA 0 fs_info->max_rules 0-s32max[c]
LOCK2 &osdc->lock
TYPE_LOCK (struct ceph_osd_client)->lock