Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/super.c filesystems_thaw_callback() -> (struct super_operations)->thaw_super()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_active.counter | 0-s32max |
| PARAM_VALUE | 0 | sb->s_bdi->wb_switch_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sb->s_bdi->wb_switch_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->freeze_fs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 0 | sb->s_op->thaw_super | 5766127971694489600 |
| PARAM_VALUE | 0 | sb->s_passive.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | sb->s_umount.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | who | 9 |
| PARAM_VALUE | 2 | freeze_owner | 9113311357353111552 |
| BUF_SIZE | 2 | freeze_owner | 19 |
| DATA_SOURCE | 0 | sb | $0 |
| CONTAINER | 0 | -96-64+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | 0 | &sb->s_umount |
fs/super.c fs_super_thaw() -> (struct super_operations)->thaw_super()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_active.counter | 0-s32max |
| PARAM_VALUE | 0 | sb->s_cop->inode_info_offs | 1632,1640,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->thaw_super | 5766127971694489600 |
| PARAM_VALUE | 0 | sb->s_umount.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | who | 6 |
| PARAM_VALUE | 2 | freeze_owner | 0 |
| DATA_SOURCE | 0 | sb | $0 |
| CONTAINER | 0 | -96-64+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &bdev->bd_fsfreeze_mutex | ||
| TYPE_LOCK | (struct block_device)->bd_fsfreeze_mutex |
fs/ioctl.c ioctl_fsthaw() -> (struct super_operations)->thaw_super()
| 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->thaw_super | 5766127971694489600 |
| PARAM_VALUE | 1 | who | 2 |
| PARAM_VALUE | 2 | freeze_owner | 0 |
| NS_CAPABLE | 0 | 21 | |
| CONTAINER | 0 | -96-64+0 | $(-1) |