Open Menu /

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_release_iclog()

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-1
PARAM_VALUE 2 ticket 4096-ptr_max
CAPPED_DATA 1 iclog 1
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_cil.c xlog_cil_push_work() -> xlog_state_release_iclog()

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 1-u64max
PARAM_VALUE 2 ticket 4096-ptr_max
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 xlog_force_iclog() -> xlog_state_release_iclog()

Type Parameter Key Value
PARAM_VALUE 1 iclog 4096-ptr_max
PARAM_VALUE 1 iclog->ic_state 1-5
PARAM_VALUE 2 ticket 0
CAPPED_DATA 1 iclog 1
DATA_SOURCE 1 iclog $0
BIT_INFO 1 iclog->ic_flags 0x3,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &log->l_icloglock
TYPE_LOCK (struct xlog)->l_icloglock

fs/xfs/xfs_log.c xlog_state_get_iclog_space() -> xlog_state_release_iclog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_header 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_state 1
PARAM_VALUE 0 log->l_icloglock.rlock.dep_map->name 0-255
PARAM_VALUE 1 iclog 4096-ptr_max
PARAM_VALUE 1 iclog->ic_header 4096-ptr_max
PARAM_VALUE 1 iclog->ic_refcnt.counter 0-s32max
PARAM_VALUE 1 iclog->ic_sema.first_waiter->up 0-1
PARAM_VALUE 1 iclog->ic_state 1
PARAM_VALUE 1 *iclog->ic_log->l_iclog->ic_header->h_cycle_data 0-4294967295
PARAM_VALUE 2 ticket 4096-ptr_max
CAPPED_DATA 0 log->l_logBBsize 1
CAPPED_DATA 1 iclog 1
DATA_SOURCE 0 log $0
RX_PATH
LOCK2 0 &log->l_icloglock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xlog)->l_icloglock

fs/xfs/xfs_log.c xlog_write() -> xlog_state_release_iclog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->l_curr_cycle 0-s32max
PARAM_VALUE 0 log->l_iclog->ic_bio->bi_bdev->bd_queue->io_lockdep_map.name 0-255
PARAM_VALUE 0 log->l_iclog->ic_bio->bi_crypt_context->bc_dun 1-4294967295
PARAM_VALUE 0 log->l_iclog->ic_bio->bi_crypt_context->codec->alpha_to 0-u16max
PARAM_VALUE 0 log->l_iclog->ic_bio->bi_crypt_context->codec->genpoly 0-u16max
PARAM_VALUE 0 log->l_iclog->ic_bio->bi_crypt_context->codec->index_of 0-u16max
PARAM_VALUE 0 log->l_iclog->ic_bio.bi_bdev->bd_disk->queue->blkg_list.next 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_bio.bi_bdev->bd_disk->queue->blkg_list.next->next 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_bio.bi_bdev->bd_disk->queue->blkg_list.next->prev 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_bio.bi_bdev->bd_queue 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_callbacks.next->prev->next 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_callbacks.prev->next 4096-ptr_max
PARAM_VALUE 0 log->l_iclog->ic_log->l_covered_state 0-1,3
PARAM_VALUE 0 log->l_iclog->ic_sema.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 log->l_iclog->ic_sema.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 log->l_iclog->ic_sema.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 log->l_iclog->ic_sema.first_waiter->up 0-1
PARAM_VALUE 0 log->l_iclog->ic_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 log->l_iclog->ic_state 0-1
PARAM_VALUE 0 log->l_icloglock.rlock.dep_map->name 0-255
PARAM_VALUE 1 iclog 4096-ptr_max
PARAM_VALUE 1 iclog->ic_header 4096-ptr_max
PARAM_VALUE 1 iclog->ic_sema.first_waiter->up 0-1
PARAM_VALUE 1 iclog->ic_state 0-1
PARAM_VALUE 2 ticket 4096-ptr_max
DATA_SOURCE 0 log $0
DATA_SOURCE 2 ticket $3
PREEMPT_ADD <- disables preempt
RX_PATH
LOCK2 0 &log->l_icloglock
TYPE_LOCK (struct xlog)->l_icloglock

fs/xfs/xfs_log.c xlog_write_get_more_iclog_space() -> xlog_state_release_iclog()

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_header 4096-ptr_max
PARAM_VALUE 1 iclog->ic_log 4096-ptr_max
PARAM_VALUE 1 iclog->ic_log->l_icloglock.rlock.dep_map->name 0-255
PARAM_VALUE 1 iclog->ic_sema.first_waiter->up 0-1
PARAM_VALUE 2 ticket 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
LOCK2 0 &log->l_icloglock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xlog)->l_icloglock