Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/jfs/resize.c jfs_extendfs() -> lmLogShutdown()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

fs/jfs/super.c jfs_freeze() -> lmLogShutdown()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sb->s_umount
HALF_LOCKED2 &bdev->bd_fsfreeze_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &sdp->sd_freeze_mutex
HALF_LOCKED2 global &dax_srcu
TYPE_LOCK (struct super_block)->s_umount

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

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.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 log->loglock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 log->loglock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 log->loglock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 log->loglock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 log->loglock.osq.tail.counter 0-s32max
PARAM_VALUE 0 log->loglock.wait_lock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &jfs_log_mutex

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

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->lbuf_free->l_ceor 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,4096-ptr_max
PARAM_VALUE 0 log->loglock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 log->loglock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 log->loglock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 log->loglock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 log->loglock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 log->loglock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 log->loglock.first_waiter->task->usage.refs.counter s32min-s32max
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->no_integrity 0
PARAM_VALUE 0 log->sb_list.next 4096-ptr_max
CAPPED_DATA 0 &log->sb_list 1
PARAM_COMPARE 0 &log->sb_list == $0->sb_list.next
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &jfs_log_mutex