lib/maple_tree.c mas_find() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
BUF_SIZE	0	mas	(-1),88
BUF_SIZE	0	mas	(-1),88
BUF_SIZE	0	mas->tree	(-1),88
DATA_SOURCE	0	mas	$0
NOSPEC	0	mas->index
NOSPEC	0	mas->last
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mas->index	0-u64max
USER_DATA	0	mas->last	0-u64max
HALF_LOCKED2		&(&mas)->tree->ma_lock
HALF_LOCKED2		&(&newmas)->tree->ma_lock
HALF_LOCKED2		&drm->clients_lock
HALF_LOCKED2		&ifh->lock
HALF_LOCKED2		&m->lock
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&mt_lock
HALF_LOCKED2		&newmt_lock
HALF_LOCKED2		&sched->mutex
HALF_LOCKED2		&tsk->signal->exec_update_lock
HALF_LOCKED2		&ub->mutex
HALF_LOCKED2		&uvmm->mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		global &cpuset_mutex
HALF_LOCKED2		map->lock_arg
HALF_LOCKED2		mutex
HALF_LOCKED2		rcu_read

lib/maple_tree.c mas_find_range() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
DATA_SOURCE	0	mas	$0
NOCHECK_CALL

lib/maple_tree.c mas_find_range_rev() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
DATA_SOURCE	0	mas	$0
NOCHECK_CALL

lib/maple_tree.c mas_find_rev() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	1368847264098578432,6284928140378267648,8952758365101793280
PARAM_VALUE	0	mas->alloc	0
PARAM_VALUE	0	mas->mas_flags	0
PARAM_VALUE	0	mas->node_request	0
PARAM_VALUE	0	mas->sheaf	0
PARAM_VALUE	0	mas->status	0-3,6,8-u32max
PARAM_VALUE	0	mas->store_type	0
DATA_SOURCE	0	mas	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		rcu_read

lib/maple_tree.c mas_next() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
PARAM_VALUE	0	mas->alloc	0
PARAM_VALUE	0	mas->mas_flags	0,2-254
PARAM_VALUE	0	mas->node_request	0
PARAM_VALUE	0	mas->sheaf	0
DATA_SOURCE	0	mas	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&(&mas)->tree->ma_lock
HALF_LOCKED2		rcu_read

lib/maple_tree.c mas_next_range() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
DATA_SOURCE	0	mas	$0
NOSPEC	0	mas->last
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mas->index	0-u64max
USER_DATA	0	mas->last	0-u64max

lib/maple_tree.c mas_preallocate() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
DATA_SOURCE	0	mas	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mas->index	0-u64max
USER_DATA	0	mas->last	0-u64max
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&tsk->signal->exec_update_lock

lib/maple_tree.c mas_prev() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
DATA_SOURCE	0	mas	$0
NOSPEC	0	mas->index
NOSPEC	0	mas->last
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mas->index	0-u64max
USER_DATA	0	mas->last	0-u64max
HALF_LOCKED2		&(&mas)->tree->ma_lock
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&tsk->signal->exec_update_lock
HALF_LOCKED2		rcu_read

lib/maple_tree.c mas_prev_range() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
PARAM_VALUE	0	mas->status	0-3,5-u32max
DATA_SOURCE	0	mas	$0
NOSPEC	0	mas->index
NOSPEC	0	mas->last
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mas->index	1-u64max
USER_DATA	0	mas->last	0-u64max
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&tsk->signal->exec_update_lock

lib/maple_tree.c mas_store() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
PARAM_VALUE	0	mas->status	0-3,6,8-u32max
DATA_SOURCE	0	mas	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	mas->index
HALF_LOCKED2		&(&mas)->tree->ma_lock
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&mt_lock
HALF_LOCKED2		&newmt_lock
HALF_LOCKED2		&oldmm->mmap_lock

lib/maple_tree.c mas_store_gfp() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
DATA_SOURCE	0	mas	$0
NOSPEC	0	mas->index
NOSPEC	0	mas->last
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mas->index	0-u64max
USER_DATA	0	mas->last	0-u64max
NO_OVERFLOW_SIMPLE	0	mas->sheaf->capacity
HALF_LOCKED2		&(&mas)->tree->ma_lock
HALF_LOCKED2		&(&newmas)->tree->ma_lock
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&mt->ma_lock
HALF_LOCKED2		&mt_lock
HALF_LOCKED2		&oldmm->mmap_lock
HALF_LOCKED2		&sched->mutex
HALF_LOCKED2		&uvmm->mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		map->lock_arg
HALF_LOCKED2		mutex
HALF_LOCKED2		rcu_read

lib/maple_tree.c mas_walk() -> mas_may_init_lock_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	mas	4096-ptr_max
PARAM_VALUE	0	mas->status	0-3
BUF_SIZE	0	mas	(-1),88
BUF_SIZE	0	mas	(-1),88
BUF_SIZE	0	mas->tree	(-1),8-s32max
DATA_SOURCE	0	mas	$0
NOSPEC	0	mas->index
NOSPEC	0	mas->last
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mas->index	0-u64max
USER_DATA	0	mas->last	0-u64max
HALF_LOCKED2		&(&mas)->tree->ma_lock
HALF_LOCKED2		&sched->mutex
HALF_LOCKED2		&uvmm->mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		rcu_read