Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namespace.c __do_sys_statmount() -> do_statmount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->idmap | 0 |
| PARAM_VALUE | 0 | s->mask | 0 |
| PARAM_VALUE | 0 | s->mnt | 0 |
| PARAM_VALUE | 0 | s->root.dentry | 0 |
| PARAM_VALUE | 0 | s->root.mnt | 0 |
| PARAM_VALUE | 0 | s->seq.buf | 0,4096-ptr_max |
| PARAM_VALUE | 0 | s->seq.count | 0 |
| PARAM_VALUE | 0 | s->seq.file | 0 |
| PARAM_VALUE | 0 | s->seq.from | 0 |
| PARAM_VALUE | 0 | s->seq.index | 0 |
| PARAM_VALUE | 0 | s->seq.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | s->seq.lock.magic | 0 |
| PARAM_VALUE | 0 | s->seq.lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | s->seq.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | s->seq.op | 0 |
| PARAM_VALUE | 0 | s->seq.pad_until | 0 |
| PARAM_VALUE | 0 | s->seq.poll_event | 0 |
| PARAM_VALUE | 0 | s->seq.private | 0 |
| PARAM_VALUE | 0 | s->seq.read_pos | 0 |
| PARAM_VALUE | 0 | s->seq.size | 0,12288,24576 |
| PARAM_VALUE | 0 | s->sm.fs_subtype | 0 |
| PARAM_VALUE | 0 | s->sm.fs_type | 0 |
| PARAM_VALUE | 0 | s->sm.mask | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_attr | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_gidmap | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_gidmap_num | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_id | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_id_old | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_master | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_ns_id | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_opts | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_parent_id | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_parent_id_old | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_peer_group | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_point | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_propagation | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_root | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_uidmap | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_uidmap_num | 0 |
| PARAM_VALUE | 0 | s->sm.opt_array | 0 |
| PARAM_VALUE | 0 | s->sm.opt_num | 0 |
| PARAM_VALUE | 0 | s->sm.opt_sec_array | 0 |
| PARAM_VALUE | 0 | s->sm.opt_sec_num | 0 |
| PARAM_VALUE | 0 | s->sm.propagate_from | 0 |
| PARAM_VALUE | 0 | s->sm.sb_dev_major | 0 |
| PARAM_VALUE | 0 | s->sm.sb_dev_minor | 0 |
| PARAM_VALUE | 0 | s->sm.sb_flags | 0 |
| PARAM_VALUE | 0 | s->sm.sb_magic | 0 |
| PARAM_VALUE | 0 | s->sm.sb_source | 0 |
| PARAM_VALUE | 0 | s->sm.size | 0 |
| PARAM_VALUE | 0 | s->sm.supported_mask | 0 |
| PARAM_VALUE | 3 | mnt_file | 0,4096-ptr_max |
| PARAM_VALUE | 4 | ns | 0,4096-ptr_max |
| BUF_SIZE | 0 | s | 808 |
| CAPPED_DATA | 3 | mnt_file | 1 |
| CAPPED_DATA | 4 | ns | 1 |
| DATA_SOURCE | 0 | s | r _kmalloc_noprof |
| MEM_ZERO | 0 | s | |
| USER_DATA | 0 | s->bufsize | 0-u64max |
| USER_DATA | 0 | s->mask | 0 |
| USER_DATA | 1 | mnt_id | 0-u64max |
| USER_DATA | 2 | mnt_ns_id | 0-u64max |
| LOCK2 | global &namespace_sem |
fs/namespace.c __do_sys_statmount() -> do_statmount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->idmap | 0 |
| PARAM_VALUE | 0 | s->mask | 0 |
| PARAM_VALUE | 0 | s->mnt | 0 |
| PARAM_VALUE | 0 | s->root.dentry | 0 |
| PARAM_VALUE | 0 | s->root.mnt | 0 |
| PARAM_VALUE | 0 | s->seq.buf | 0,4096-ptr_max |
| PARAM_VALUE | 0 | s->seq.count | 0 |
| PARAM_VALUE | 0 | s->seq.file | 0 |
| PARAM_VALUE | 0 | s->seq.from | 0 |
| PARAM_VALUE | 0 | s->seq.index | 0 |
| PARAM_VALUE | 0 | s->seq.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | s->seq.lock.magic | 0 |
| PARAM_VALUE | 0 | s->seq.lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | s->seq.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | s->seq.op | 0 |
| PARAM_VALUE | 0 | s->seq.pad_until | 0 |
| PARAM_VALUE | 0 | s->seq.poll_event | 0 |
| PARAM_VALUE | 0 | s->seq.private | 0 |
| PARAM_VALUE | 0 | s->seq.read_pos | 0 |
| PARAM_VALUE | 0 | s->seq.size | 0,12288,24576 |
| PARAM_VALUE | 0 | s->sm.fs_subtype | 0 |
| PARAM_VALUE | 0 | s->sm.fs_type | 0 |
| PARAM_VALUE | 0 | s->sm.mask | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_attr | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_gidmap | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_gidmap_num | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_id | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_id_old | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_master | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_ns_id | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_opts | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_parent_id | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_parent_id_old | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_peer_group | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_point | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_propagation | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_root | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_uidmap | 0 |
| PARAM_VALUE | 0 | s->sm.mnt_uidmap_num | 0 |
| PARAM_VALUE | 0 | s->sm.opt_array | 0 |
| PARAM_VALUE | 0 | s->sm.opt_num | 0 |
| PARAM_VALUE | 0 | s->sm.opt_sec_array | 0 |
| PARAM_VALUE | 0 | s->sm.opt_sec_num | 0 |
| PARAM_VALUE | 0 | s->sm.propagate_from | 0 |
| PARAM_VALUE | 0 | s->sm.sb_dev_major | 0 |
| PARAM_VALUE | 0 | s->sm.sb_dev_minor | 0 |
| PARAM_VALUE | 0 | s->sm.sb_flags | 0 |
| PARAM_VALUE | 0 | s->sm.sb_magic | 0 |
| PARAM_VALUE | 0 | s->sm.sb_source | 0 |
| PARAM_VALUE | 0 | s->sm.size | 0 |
| PARAM_VALUE | 0 | s->sm.supported_mask | 0 |
| PARAM_VALUE | 3 | mnt_file | 0,4096-ptr_max |
| PARAM_VALUE | 4 | ns | 0,4096-ptr_max |
| BUF_SIZE | 0 | s | 808 |
| CAPPED_DATA | 3 | mnt_file | 1 |
| CAPPED_DATA | 4 | ns | 1 |
| DATA_SOURCE | 0 | s | r _kmalloc_noprof |
| MEM_ZERO | 0 | s | |
| USER_DATA | 0 | s->bufsize | 0-u64max |
| USER_DATA | 0 | s->mask | 0 |
| USER_DATA | 1 | mnt_id | 0-u64max |
| USER_DATA | 2 | mnt_ns_id | 0-u64max |
| LOCK2 | global &namespace_sem |