Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namespace.c mount_too_revealing() -> mnt_already_visible()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ns | 4096-ptr_max |
| PARAM_VALUE | 0 | ns->user_ns | 0-251279612184977407,251279612184977409-u64max |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_type | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_type->fs_flags | s32min-(-1),512-s32max |
| PARAM_VALUE | 2 | *new_mnt_flags | 0-247,249-255 |
| DATA_SOURCE | 1 | sb | $0 |
| DATA_SOURCE | 2 | new_mnt_flags | $1 |
| BIT_INFO | 1 | sb->s_type->fs_flags | 0x200,0xffffffff |
| UNITS | 1 | sb | unit_byte |