Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ntfs3/fslog.c read_log_rec_lcb() -> find_log_rec()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->ra 4096-ptr_max
PARAM_VALUE 1 lsn 1-u64max
PARAM_VALUE 2 lcb 4096-ptr_max
PARAM_VALUE 2 lcb->ctx_mode 0-2
BUF_SIZE 2 lcb 32
CAPPED_DATA 1 lsn 1
CAPPED_DATA 1 lsn 1
DATA_SOURCE 0 log $0
DATA_SOURCE 1 lsn $1
DATA_SOURCE 2 lcb r _kzalloc_noprof
PARAM_COMPARE 0 log->ra->current_lsn >= $1
PARAM_COMPARE 1 lsn <= $0->ra->current_lsn

fs/ntfs3/fslog.c read_next_log_rec() -> find_log_rec()

Type Parameter Key Value
PARAM_VALUE 0 log->l_size 1-u32max
PARAM_VALUE 0 log->ni->file.run.count 1-u64max
PARAM_VALUE 0 log->ni->file.run.runs 1-u64max
PARAM_VALUE 0 log->ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 log->ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 log->ni->mi.sbi->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 log->ni->mi.sbi->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 log->read_ahead.prev_pos s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 1 lsn 1-u64max
PARAM_VALUE 2 lcb 4096-ptr_max
PARAM_VALUE 2 lcb->alloc 0
PARAM_VALUE 2 lcb->ctx_mode 0-2
PARAM_VALUE 2 lcb->log_rec 0
PARAM_VALUE 2 lcb->lrh 0
CAPPED_DATA 0 log->l_size 1
DATA_SOURCE 0 log $0
DATA_SOURCE 2 lcb $1