Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/xfs_log_cil.c xlog_cil_push_work() -> xlog_state_switch_iclogs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_icloglock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | iclog | 4096-ptr_max |
| PARAM_VALUE | 1 | iclog->ic_callbacks.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | iclog->ic_flags | 0,2-u32max |
| PARAM_VALUE | 1 | iclog->ic_state | 0 |
| PARAM_VALUE | 2 | eventual_size | 0 |
| BIT_INFO | 1 | iclog->ic_flags | 0x2,0xffffffff |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &log->l_icloglock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct xlog)->l_icloglock |
fs/xfs/xfs_log.c xfs_log_force() -> xlog_state_switch_iclogs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_cilp | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_cilp->xc_commit_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_cilp->xc_commit_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_cilp->xc_commit_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_cilp->xc_push_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | log->l_cilp->xc_push_seq | (-9223372036854775807)-s64max |
| PARAM_VALUE | 0 | log->l_cilp->xc_push_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | log->l_cilp->xc_push_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | log->l_iclog | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_iclog->ic_refcnt.counter | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | log->l_iclog->ic_state | 0 |
| PARAM_VALUE | 0 | log->l_icloglock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | iclog | 4096-ptr_max |
| PARAM_VALUE | 1 | iclog->ic_refcnt.counter | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | iclog->ic_state | 0 |
| PARAM_VALUE | 2 | eventual_size | 0 |
| CAPPED_DATA | 0 | log->l_cilp->xc_current_sequence | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &log->l_icloglock | |
| HALF_LOCKED2 | &dqp->q_qlock | ||
| HALF_LOCKED2 | &eb->eb_lock | ||
| HALF_LOCKED2 | &qi->qi_tree_lock | ||
| TYPE_LOCK | (struct xlog)->l_icloglock |
fs/xfs/xfs_log.c xlog_force_iclog() -> xlog_state_switch_iclogs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iclog | 4096-ptr_max |
| PARAM_VALUE | 1 | iclog->ic_state | 0 |
| PARAM_VALUE | 2 | eventual_size | 0 |
| DATA_SOURCE | 1 | iclog | $0 |
| BIT_INFO | 1 | iclog->ic_flags | 0x3,0xffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &log->l_icloglock | ||
| TYPE_LOCK | (struct xlog)->l_icloglock |
fs/xfs/xfs_log.c xlog_state_get_iclog_space() -> xlog_state_switch_iclogs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_iclog | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_iclog->ic_state | 0 |
| PARAM_VALUE | 0 | log->l_icloglock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | iclog | 4096-ptr_max |
| PARAM_VALUE | 1 | iclog->ic_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | iclog->ic_state | 0 |
| PARAM_VALUE | 1 | *iclog->ic_log->l_iclog->ic_header->h_cycle_data | 0-4294967295 |
| DATA_SOURCE | 0 | log | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 2 | eventual_size | unit_byte |
| LOCK2 | 0 | &log->l_icloglock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct xlog)->l_icloglock |
fs/xfs/xfs_log.c xlog_state_get_iclog_space() -> xlog_state_switch_iclogs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_iclog | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_iclog->ic_state | 0 |
| PARAM_VALUE | 0 | log->l_icloglock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | iclog | 4096-ptr_max |
| PARAM_VALUE | 1 | iclog->ic_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | iclog->ic_state | 0 |
| PARAM_VALUE | 1 | *iclog->ic_log->l_iclog->ic_header->h_cycle_data | 0-4294967295 |
| DATA_SOURCE | 0 | log | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 2 | eventual_size | unit_byte |
| LOCK2 | 0 | &log->l_icloglock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct xlog)->l_icloglock |