Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 len 6
PARAM_VALUE 3 ram_bytes 6
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 0
PARAM_VALUE 6 disk_len 0
PARAM_VALUE 7 type 0
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 0
DATA_SOURCE 0 root $0
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-u32max
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 1
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 len $1
DATA_SOURCE 3 ram_bytes $1
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 3 ram_bytes == $1
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-8589934590
PARAM_VALUE 3 ram_bytes 0-u32max
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-4296015871
PARAM_VALUE 6 disk_len 0-u32max
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 2
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-12884901885
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 0
PARAM_VALUE 6 disk_len 0
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 3
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
DATA_SOURCE 3 ram_bytes $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 3 ram_bytes == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-17179869180
PARAM_VALUE 2 len 0-u32max
PARAM_VALUE 3 ram_bytes 0-u32max
PARAM_VALUE 4 offset 0-u32max
PARAM_VALUE 5 disk_bytenr 1048576-4296015871
PARAM_VALUE 6 disk_len 0-u32max
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 4
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-21474836475
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-8590983166
PARAM_VALUE 7 type 2
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 5
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
DATA_SOURCE 3 ram_bytes $1
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 3 ram_bytes == $1
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-25769803770
PARAM_VALUE 3 ram_bytes 0-u32max
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-12885950461
PARAM_VALUE 6 disk_len 0-u32max
PARAM_VALUE 7 type 2
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 6
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-30064771065
PARAM_VALUE 3 ram_bytes 0-u32max
PARAM_VALUE 5 disk_bytenr 1048576-12885950461
PARAM_VALUE 6 disk_len 0-u32max
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 7
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
DATA_SOURCE 4 offset $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 4 offset == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-34359738360
PARAM_VALUE 2 len 0-u32max
PARAM_VALUE 3 ram_bytes 0-u32max
PARAM_VALUE 4 offset 0-u32max
PARAM_VALUE 5 disk_bytenr 1048576-12885950461
PARAM_VALUE 6 disk_len 0-u32max
PARAM_VALUE 7 type 2
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 8
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-38654705655
PARAM_VALUE 2 len 0-u32max
PARAM_VALUE 3 ram_bytes 0-u32max
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-17180917756
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 1
PARAM_VALUE 9 slot 9
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $6
PARAM_COMPARE 1 start == $6
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-42949672949
PARAM_VALUE 2 len 0-s32max
PARAM_VALUE 3 ram_bytes 0-u32max
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-21475885050
PARAM_VALUE 6 disk_len 0-s32max
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 1
PARAM_VALUE 9 slot 10
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-44023414772
PARAM_VALUE 2 len 0-1073741823
PARAM_VALUE 3 ram_bytes 0-1073741823
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-22549626873
PARAM_VALUE 6 disk_len 0-1073741823
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 11
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
DATA_SOURCE 3 ram_bytes $1
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 3 ram_bytes == $1
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-45097156595
PARAM_VALUE 2 len 0-2147483646
PARAM_VALUE 3 ram_bytes 0-4294967292
PARAM_VALUE 4 offset 0-2147483646
PARAM_VALUE 5 disk_bytenr 1048576-21475885050
PARAM_VALUE 6 disk_len 0-1073741823
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 1
PARAM_VALUE 9 slot 12
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $6
PARAM_COMPARE 1 start == $6
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-47244640241
PARAM_VALUE 2 len 0-1073741823
PARAM_VALUE 3 ram_bytes 0-1073741823
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-23623368696
PARAM_VALUE 6 disk_len 0-1073741823
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 13
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
DATA_SOURCE 3 ram_bytes $1
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 3 ram_bytes == $1
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c setup_file_extents() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 1 start 0-51539607533
PARAM_VALUE 2 len 0-1073741823
PARAM_VALUE 3 ram_bytes 0-1073741823
PARAM_VALUE 4 offset 0
PARAM_VALUE 5 disk_bytenr 1048576-24697110519
PARAM_VALUE 6 disk_len 0-1073741823
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 14
CAPPED_DATA 0 root->node->len 1
DATA_SOURCE 0 root $0
DATA_SOURCE 2 len $1
DATA_SOURCE 3 ram_bytes $1
DATA_SOURCE 6 disk_len $1
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 1 start == $2
PARAM_COMPARE 2 len == $1
PARAM_COMPARE 3 ram_bytes == $1
PARAM_COMPARE 6 disk_len == $1
NOCHECK_CALL

fs/btrfs/tests/inode-tests.c test_hole_first() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->alloc_bytenr 0
PARAM_VALUE 0 root->block_rsv 0,4096-ptr_max
PARAM_VALUE 0 root->delalloc_inodes.next 4096-ptr_max
PARAM_VALUE 0 root->delalloc_inodes.next->next 4096-ptr_max
PARAM_VALUE 0 root->delalloc_inodes.prev 4096-ptr_max
PARAM_VALUE 0 root->delalloc_inodes.prev->next 4096-ptr_max
PARAM_VALUE 0 root->delalloc_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->delalloc_mutex.dep_map->name 0-255
PARAM_VALUE 0 root->delalloc_mutex.first_waiter 0
PARAM_VALUE 0 root->delalloc_mutex.magic 4096-ptr_max
PARAM_VALUE 0 root->delalloc_mutex.osq.tail.counter 0
PARAM_VALUE 0 root->delalloc_mutex.owner.counter 0
PARAM_VALUE 0 root->delalloc_root.next 4096-ptr_max
PARAM_VALUE 0 root->delalloc_root.next->next 4096-ptr_max
PARAM_VALUE 0 root->delalloc_root.prev 4096-ptr_max
PARAM_VALUE 0 root->delalloc_root.prev->next 4096-ptr_max
PARAM_VALUE 0 root->delalloc_root.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->delayed_nodes.xa_flags 0
PARAM_VALUE 0 root->delayed_nodes.xa_head 0
PARAM_VALUE 0 root->dirty_list.next 4096-ptr_max
PARAM_VALUE 0 root->dirty_list.next->next 4096-ptr_max
PARAM_VALUE 0 root->dirty_list.prev 4096-ptr_max
PARAM_VALUE 0 root->dirty_list.prev->next 4096-ptr_max
PARAM_VALUE 0 root->dirty_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->fs_info 4096-ptr_max
PARAM_VALUE 0 root->inodes.xa_flags 0
PARAM_VALUE 0 root->inodes.xa_head 0
PARAM_VALUE 0 root->leak_list.next 4096-ptr_max
PARAM_VALUE 0 root->leak_list.next->next 4096-ptr_max
PARAM_VALUE 0 root->leak_list.prev->next 4096-ptr_max
PARAM_VALUE 0 root->leak_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->log_commit_wait 4096-ptr_max
PARAM_VALUE 0 root->log_ctxs 4096-ptr_max
PARAM_VALUE 0 root->log_mutex.dep_map->name 0-255
PARAM_VALUE 0 root->log_mutex.first_waiter 0
PARAM_VALUE 0 root->log_mutex.magic 4096-ptr_max
PARAM_VALUE 0 root->log_mutex.osq.tail.counter 0
PARAM_VALUE 0 root->log_mutex.owner.counter 0
PARAM_VALUE 0 root->log_transid_committed (-1)
PARAM_VALUE 0 root->log_writer_wait.head.next 4096-ptr_max
PARAM_VALUE 0 root->log_writer_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 root->log_writer_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 root->log_writer_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 root->log_writer_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->log_writers.counter 0
PARAM_VALUE 0 root->node 4096-ptr_max
PARAM_VALUE 0 root->node->folio_shift 12
PARAM_VALUE 0 root->node->folio_size 4096
PARAM_VALUE 0 root->node->fs_info 4096-ptr_max
PARAM_VALUE 0 root->node->fs_info->allocated_ebs.next 4096-ptr_max
PARAM_VALUE 0 root->node->fs_info->allocated_ebs.next->next 4096-ptr_max
PARAM_VALUE 0 root->node->fs_info->allocated_ebs.next->prev 4096-ptr_max
PARAM_VALUE 0 root->node->fs_info->eb_leak_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 root->node->leak_list.next 4096-ptr_max
PARAM_VALUE 0 root->node->leak_list.prev 4096-ptr_max
PARAM_VALUE 0 root->node->len 0-65536
PARAM_VALUE 0 root->node->lock.count.counter 0
PARAM_VALUE 0 root->node->lock.dep_map->name 0-255
PARAM_VALUE 0 root->node->lock.first_waiter 0
PARAM_VALUE 0 root->node->lock.magic 4096-ptr_max
PARAM_VALUE 0 root->node->lock.osq.tail.counter 0
PARAM_VALUE 0 root->node->lock.owner.counter 0
PARAM_VALUE 0 root->node->refs.refs.counter 1
PARAM_VALUE 0 root->node->start 0-65536
PARAM_VALUE 0 root->nr_swapfiles.counter 0
PARAM_VALUE 0 root->objectid_mutex.dep_map->name 0-255
PARAM_VALUE 0 root->objectid_mutex.first_waiter 0
PARAM_VALUE 0 root->objectid_mutex.magic 4096-ptr_max
PARAM_VALUE 0 root->objectid_mutex.osq.tail.counter 0
PARAM_VALUE 0 root->objectid_mutex.owner.counter 0
PARAM_VALUE 0 root->ordered_extent_mutex.dep_map->name 0-255
PARAM_VALUE 0 root->ordered_extent_mutex.first_waiter 0
PARAM_VALUE 0 root->ordered_extent_mutex.magic 4096-ptr_max
PARAM_VALUE 0 root->ordered_extents.next 4096-ptr_max
PARAM_VALUE 0 root->ordered_extents.next->next 4096-ptr_max
PARAM_VALUE 0 root->ordered_extents.prev 4096-ptr_max
PARAM_VALUE 0 root->ordered_extents.prev->next 4096-ptr_max
PARAM_VALUE 0 root->ordered_extents.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->ordered_root.next 4096-ptr_max
PARAM_VALUE 0 root->ordered_root.next->next 4096-ptr_max
PARAM_VALUE 0 root->ordered_root.prev 4096-ptr_max
PARAM_VALUE 0 root->ordered_root.prev->next 4096-ptr_max
PARAM_VALUE 0 root->ordered_root.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->qgroup_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 0 root->qgroup_flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 root->qgroup_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 root->qgroup_flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 root->qgroup_flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->refs.refs.counter 1
PARAM_VALUE 0 root->reloc_dirty_list.next 4096-ptr_max
PARAM_VALUE 0 root->reloc_dirty_list.next->next 4096-ptr_max
PARAM_VALUE 0 root->reloc_dirty_list.prev 4096-ptr_max
PARAM_VALUE 0 root->reloc_dirty_list.prev->next 4096-ptr_max
PARAM_VALUE 0 root->reloc_dirty_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->root_key.objectid 1
PARAM_VALUE 0 root->root_list.next 4096-ptr_max
PARAM_VALUE 0 root->root_list.next->next 4096-ptr_max
PARAM_VALUE 0 root->root_list.prev 4096-ptr_max
PARAM_VALUE 0 root->root_list.prev->next 4096-ptr_max
PARAM_VALUE 0 root->root_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 root->snapshot_force_cow.counter 0
PARAM_VALUE 0 root->swapped_blocks->blocks 4096-ptr_max
PARAM_VALUE 0 root->swapped_blocks.swapped 0
PARAM_VALUE 4 offset 0
PARAM_VALUE 7 type 1
PARAM_VALUE 8 compression 0
PARAM_VALUE 9 slot 1
BUF_SIZE 0 root 2880
BUF_SIZE 0 root->fs_info 11312
CAPPED_DATA 0 root->node 1
CAPPED_DATA 0 root->node->len 1
CAPPED_DATA 0 root->node->start 1
DATA_SOURCE 0 root r btrfs_alloc_dummy_root
DATA_SOURCE 1 start $0
DATA_SOURCE 2 len $0
DATA_SOURCE 3 ram_bytes $0
DATA_SOURCE 5 disk_bytenr $0
DATA_SOURCE 6 disk_len $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 root->dirty_log_pages.fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 root->dirty_log_pages.fs_info->sectorsize
NO_OVERFLOW_SIMPLE 0 root->fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 root->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 0 root->log_csum_range.fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 root->log_csum_range.fs_info->sectorsize
NO_OVERFLOW_SIMPLE 0 root->node->len
NO_OVERFLOW_SIMPLE 0 root->node->start

kernel/user_namespace.c map_write() -> insert_extent()

Type Parameter Key Value
PARAM_VALUE 0 root 577916839718649856
PARAM_VALUE 0 root->nr_extents 0-2
PARAM_VALUE 1 start 8277939543667355648
PARAM_VALUE 1 start->first 0-4294967294
PARAM_VALUE 1 start->lower_first 0-4294967294
MEM_ZERO 0 root
USER_DATA 1 start->count 0-u32max
USER_DATA 1 start->first 0-s32max[c]
USER_DATA 1 start->lower_first 0-s32max[c]
NO_OVERFLOW_SIMPLE 1 start->count
NO_OVERFLOW_SIMPLE 1 start->first
NO_OVERFLOW_SIMPLE 1 start->lower_first
LOCK2 global &userns_state_mutex