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 lbmLogInit() -> lbmLogShutdown()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->bp 0
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->flush_tblk 0
PARAM_VALUE 0 log->free_wait.head.next 4096-ptr_max
PARAM_VALUE 0 log->free_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 log->free_wait.head.prev 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 0,4096-ptr_max
PARAM_VALUE 0 log->lbuf_free->l_freelist 0
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->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->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 0
BUF_SIZE 0 log (-1),704
BUF_SIZE 0 log (-1),704
BUF_SIZE 0 log->lbuf_free 0,168
DATA_SOURCE 0 log $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &jfs_log_mutex

fs/jfs/jfs_logmgr.c lmLogInit() -> lbmLogShutdown()

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 0,4096-ptr_max
PARAM_VALUE 0 log->bp->l_ldata 4096-ptr_max
PARAM_VALUE 0 log->bp->l_log 4096-ptr_max
PARAM_VALUE 0 log->bp->l_log->lbuf_free 4096-ptr_max
PARAM_VALUE 0 log->bp->l_log->lbuf_free->l_log 4096-ptr_max
PARAM_VALUE 0 log->bp->l_wqnext 0
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->next 4096-ptr_max
PARAM_VALUE 0 log->cqueue.prev->prev 4096-ptr_max
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->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 0
BUF_SIZE 0 log (-1),704
BUF_SIZE 0 log (-1),704
DATA_SOURCE 0 log $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &jfs_log_mutex

fs/jfs/jfs_logmgr.c lmLogOpen() -> lbmLogShutdown()

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_path.dentry 4096-ptr_max
PARAM_VALUE 0 log->bdev_file->__f_path.mnt 0
PARAM_VALUE 0 log->bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 log->bdev_file->f_ep 0
PARAM_VALUE 0 log->bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 0 log->bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 0 log->bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 log->bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 log->bdev_file->f_mode 0,64-u32max
PARAM_VALUE 0 log->bdev_file->f_op 8212791493360840704
PARAM_VALUE 0 log->bdev_file->f_owner 0
PARAM_VALUE 0 log->bdev_file->f_pos 0
PARAM_VALUE 0 log->bdev_file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 log->bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 log->bdev_file->f_ra.async_size 0
PARAM_VALUE 0 log->bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 0 log->bdev_file->f_ra.order 0
PARAM_VALUE 0 log->bdev_file->f_ra.prev_pos 0
PARAM_VALUE 0 log->bdev_file->f_ra.ra_pages 0
PARAM_VALUE 0 log->bdev_file->f_ra.size 0
PARAM_VALUE 0 log->bdev_file->f_ra.start 0
PARAM_VALUE 0 log->bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 log->bdev_file->f_sb_err 0
PARAM_VALUE 0 log->bdev_file->private_data 4096-ptr_max
PARAM_VALUE 0 log->bp 4096-ptr_max
PARAM_VALUE 0 log->bp->l_ceor 0
PARAM_VALUE 0 log->bp->l_flag 0
PARAM_VALUE 0 log->bp->l_freelist 0
PARAM_VALUE 0 log->bp->l_pn 0
PARAM_VALUE 0 log->bp->l_wqnext 0
PARAM_VALUE 0 log->clsn 0
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->l2bsize 12
PARAM_VALUE 0 log->lbuf_free->l_ceor 0
PARAM_VALUE 0 log->lbuf_free->l_eor 0
PARAM_VALUE 0 log->lbuf_free->l_flag 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_pn 0
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->logsize s32min-(-4096),0,4096-s32max
PARAM_VALUE 0 log->lsn 0
PARAM_VALUE 0 log->nextsync (-268435456)-(-512),0,512-524288
PARAM_VALUE 0 log->no_integrity s32min-(-1),1-s32max
PARAM_VALUE 0 log->sb_list.next 4096-ptr_max
PARAM_VALUE 0 log->sb_list.next->next 4096-ptr_max
PARAM_VALUE 0 log->sb_list.prev 4096-ptr_max
PARAM_VALUE 0 log->sb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 log->sb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 log->sync 0
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->syncpt 0
PARAM_VALUE 0 log->syncwait.head.next 4096-ptr_max
PARAM_VALUE 0 log->syncwait.head.next->next 4096-ptr_max
PARAM_VALUE 0 log->syncwait.head.prev 4096-ptr_max
PARAM_VALUE 0 log->syncwait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 log->syncwait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 log->wqueue 0
BUF_SIZE 0 log 704
CAPPED_DATA 0 log 1
DATA_SOURCE 0 log r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &jfs_log_mutex
HALF_LOCKED2 &fc->uapi_mutex

fs/jfs/jfs_logmgr.c lmLogShutdown() -> lbmLogShutdown()

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 0
PARAM_VALUE 0 log->cqueue.next 4096-ptr_max
PARAM_VALUE 0 log->eor s32min-4087
PARAM_VALUE 0 log->flush_tblk 0
PARAM_VALUE 0 log->gclock.rlock.dep_map->name 0-255
PARAM_VALUE 0 log->lbuf_free->l_ceor 0
PARAM_VALUE 0 log->lbuf_free->l_eor 8
PARAM_VALUE 0 log->lbuf_free->l_flag 0
PARAM_VALUE 0 log->lbuf_free->l_ldata->h.eor 8
PARAM_VALUE 0 log->lbuf_free->l_ldata->t.eor 8
PARAM_VALUE 0 log->lbuf_free->l_wqnext 0
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
DATA_SOURCE 0 log $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &jfs_log_mutex