Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namespace.c shrink_submounts() -> select_submounts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent | 4096-ptr_max |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | graveyard | 1281157920603996160 |
| PARAM_VALUE | 1 | graveyard->next | 1281157920603996160 |
| PARAM_VALUE | 1 | graveyard->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | parent | 1 |
| DATA_SOURCE | 0 | parent | $0 |
| LOCK2 | global &mount_lock.lock | ||
| LOCK2 | global &namespace_sem |
fs/namespace.c shrink_submounts() -> select_submounts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent | 4096-ptr_max |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | parent->mnt.mnt_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | graveyard | 1281157920603996160 |
| PARAM_VALUE | 1 | graveyard->next | 1281157920603996160 |
| PARAM_VALUE | 1 | graveyard->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | parent | 1 |
| DATA_SOURCE | 0 | parent | $0 |
| LOCK2 | global &mount_lock.lock | ||
| LOCK2 | global &namespace_sem |