Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/gfs2/log.c gfs2_ordered_del_inode() -> __ordered_del_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_gl->gl_ops->go_flags | 0,2-3 |
| PARAM_VALUE | 0 | ip->i_inode.i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_inode.i_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_rw_mutex.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip->i_rw_mutex.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | ip | (-1),1-s32max |
| BUF_SIZE | 0 | ip | (-1),1-s32max |
| DATA_SOURCE | 0 | ip | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sdp->sd_ordered_lock | ||
| HALF_LOCKED2 | &inode->i_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | 0 | &ip->i_rw_mutex | |
| TYPE_LOCK | (struct gfs2_sbd)->sd_ordered_lock |
fs/gfs2/log.c gfs2_ordered_wait() -> __ordered_del_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sdp->sd_log_flush_lock | ||
| LOCK2 | &sdp->sd_ordered_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_ordered_lock |
fs/gfs2/log.c gfs2_ordered_write() -> __ordered_del_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_inode.i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_inode.i_mapping->nrpages | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sdp->sd_log_flush_lock | ||
| LOCK2 | &sdp->sd_ordered_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_ordered_lock |