Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namespace.c do_umount() -> (struct super_operations)->umount_begin()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->umount_begin | 1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| CONTAINER | 0 | -120-64+0 | $(-1) |
| NOCHECK_CALL |