Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/xfs_log_recover.c xlog_recover_intent_item() -> xfs_trans_ail_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ailp | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_buf_list.next | 0 |
| PARAM_VALUE | 0 | ailp->ail_buf_list.prev | 0 |
| PARAM_VALUE | 0 | ailp->ail_cursors.next | 0 |
| PARAM_VALUE | 0 | ailp->ail_cursors.prev | 0 |
| PARAM_VALUE | 0 | ailp->ail_empty.head.next | 0 |
| PARAM_VALUE | 0 | ailp->ail_empty.head.prev | 0 |
| PARAM_VALUE | 0 | ailp->ail_head.next | 0 |
| PARAM_VALUE | 0 | ailp->ail_head.prev | 0 |
| PARAM_VALUE | 0 | ailp->ail_last_pushed_lsn | 0 |
| PARAM_VALUE | 0 | ailp->ail_log | 0 |
| PARAM_VALUE | 0 | ailp->ail_log_flush | 0 |
| PARAM_VALUE | 0 | ailp->ail_opstate | 0 |
| PARAM_VALUE | 0 | ailp->ail_target | 0 |
| PARAM_VALUE | 0 | ailp->ail_task | 0 |
| PARAM_VALUE | 1 | lip | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_ail.next | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_ail.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_bio_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_bio_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_cil.next | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_cil.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_lv | 0 |
| PARAM_VALUE | 1 | lip->li_ops | 984666640070197248,2917624742532886528,4341161869088722944,5981987513238634496,8045135543449481216,8853876542455017472 |
| PARAM_VALUE | 1 | lip->li_trans.next | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_trans.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | lip->li_type | 0-u16max |
| DATA_SOURCE | 1 | lip | $1 |
| DATA_SOURCE | 2 | lsn | $2 |
| NOCHECK_CALL |