Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/jfs/jfs_logmgr.c lmLog() -> lmWriteRecord()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log->loglock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | log->loglock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | log->loglock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | log->loglock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | log->loglock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | log->loglock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | log->loglock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | tblk | 0,4096-ptr_max |
| PARAM_VALUE | 2 | lrd | 780011433184542720,8189848771813847080 |
| PARAM_VALUE | 2 | lrd->type | 8,64,128,2048,8192,32768 |
| PARAM_VALUE | 3 | tlck | 0,4096-ptr_max |
| PARAM_VALUE | 3 | tlck->ip | 4096-ptr_max |
| PARAM_VALUE | 3 | tlck->ip->i_sb | 4096-ptr_max |
| BUF_SIZE | 2 | lrd | (-1),36 |
| BUF_SIZE | 2 | lrd | (-1),36 |
| DATA_SOURCE | 0 | log | $0 |
| DATA_SOURCE | 1 | tblk | $1 |
| DATA_SOURCE | 2 | lrd | $2 |
| DATA_SOURCE | 3 | tlck | $3 |
| HARD_MAX | 2 | lrd->type | 32768 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &log->loglock | |
| TYPE_LOCK | (struct jfs_log)->loglock |
fs/jfs/jfs_logmgr.c lmLogInit() -> lmWriteRecord()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->bdev_file | 4096-ptr_max |
| PARAM_VALUE | 0 | log->bdev_file->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | log->bp | 4096-ptr_max |
| PARAM_VALUE | 0 | log->count | 0 |
| PARAM_VALUE | 0 | log->cqueue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->cqueue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->cqueue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | log->cqueue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->cqueue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | log->eor | s32min-4087 |
| PARAM_VALUE | 0 | log->flush_tblk | 0 |
| PARAM_VALUE | 0 | log->free_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->free_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->free_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | log->lbuf_free->l_ceor | 0 |
| PARAM_VALUE | 0 | log->lbuf_free->l_freelist | 0,4096-ptr_max |
| PARAM_VALUE | 0 | log->lbuf_free->l_ioevent.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->lbuf_free->l_ioevent.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | log->lbuf_free->l_ldata | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | log->lbuf_free->l_log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->lbuf_free->l_offset | 0 |
| PARAM_VALUE | 0 | log->lbuf_free->l_page | 4096-ptr_max |
| PARAM_VALUE | 0 | log->lbuf_free->l_wqnext | 0 |
| PARAM_VALUE | 0 | log->loglock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | log->loglock.first_waiter | 0 |
| PARAM_VALUE | 0 | log->loglock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | log->loglock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | log->loglock.owner.counter | 0 |
| PARAM_VALUE | 0 | log->no_integrity | 0 |
| PARAM_VALUE | 0 | log->size | 0-s32max |
| PARAM_VALUE | 0 | log->synclist.next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->synclist.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->synclist.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | log->synclist.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->synclist.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | log->wqueue->l_flag | 0,10,14,22,130,134 |
| PARAM_VALUE | 0 | log->wqueue->l_wqnext | 0,4096-ptr_max |
| PARAM_VALUE | 0 | log->wqueue->l_wqnext->l_flag | 0,10,14,22,130,134 |
| PARAM_VALUE | 1 | tblk | 0 |
| PARAM_VALUE | 2 | lrd | 1555502327504769024 |
| PARAM_VALUE | 2 | lrd->length | 0 |
| PARAM_VALUE | 2 | lrd->logtid | 0 |
| PARAM_VALUE | 2 | lrd->type | 16384 |
| PARAM_VALUE | 3 | tlck | 0 |
| BUF_SIZE | 0 | log | (-1),704 |
| BUF_SIZE | 0 | log | (-1),704 |
| CAPPED_DATA | 0 | log->size | 1 |
| DATA_SOURCE | 0 | log | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &jfs_log_mutex |
fs/jfs/jfs_logmgr.c lmLogShutdown() -> lmWriteRecord()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 0,4096-ptr_max |
| PARAM_VALUE | 0 | log->cqueue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | log->flush_tblk | 0 |
| PARAM_VALUE | 0 | log->gclock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | log->wqueue | 4096-ptr_max |
| PARAM_VALUE | 0 | log->wqueue->l_flag | 0,10,14,22,130,134 |
| PARAM_VALUE | 0 | log->wqueue->l_wqnext->l_flag | 0,10,14,22,130,134 |
| PARAM_VALUE | 1 | tblk | 0 |
| PARAM_VALUE | 2 | lrd | 533269763963502592 |
| PARAM_VALUE | 2 | lrd->length | 0 |
| PARAM_VALUE | 2 | lrd->logtid | 0 |
| PARAM_VALUE | 2 | lrd->type | 16384 |
| PARAM_VALUE | 3 | tlck | 0 |
| DATA_SOURCE | 0 | log | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &jfs_log_mutex |
fs/jfs/jfs_logmgr.c lmLogSync() -> lmWriteRecord()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->loglock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | log->loglock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | log->loglock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | log->loglock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | log->loglock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | log->loglock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | log->loglock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | tblk | 0 |
| PARAM_VALUE | 2 | lrd | 8452371064033431552 |
| PARAM_VALUE | 2 | lrd->length | 0 |
| PARAM_VALUE | 2 | lrd->logtid | 0 |
| PARAM_VALUE | 2 | lrd->type | 16384 |
| PARAM_VALUE | 3 | tlck | 0 |
| DATA_SOURCE | 0 | log | $0 |
| PARAM_COMPARE | 0 | log->sync | != $0->syncpt |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &log->loglock | |
| TYPE_LOCK | (struct jfs_log)->loglock |