Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ntfs3/fslog.c find_log_rec() -> read_log_rec_buf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| 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->total_avail | 1-u32max |
| PARAM_VALUE | 1 | rh | 4096-ptr_max |
| PARAM_VALUE | 1 | rh->client_data_len | 0-4000000 |
| PARAM_VALUE | 1 | rh->flags | 1-u16max |
| PARAM_VALUE | 1 | rh->this_lsn | 1-u64max |
| PARAM_VALUE | 2 | buffer | 16,4096-ptr_max |
| BUF_SIZE | 2 | buffer | 0-u32max |
| BUF_SIZE | 2 | buffer | 0-u32max |
| CAPPED_DATA | 1 | rh->this_lsn | 1 |
| DATA_SOURCE | 0 | log | $0 |
| DATA_SOURCE | 2 | buffer | r _kmalloc_noprof |
| BIT_INFO | 1 | rh->flags | 0x1,0xffff |
fs/ntfs3/fslog.c read_rst_area() -> read_log_rec_buf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->l_size | 1-u32max |
| 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->ra | 4096-ptr_max |
| PARAM_VALUE | 1 | rh | 4096-ptr_max |
| PARAM_VALUE | 1 | rh->client_data_len | 64-4000000 |
| PARAM_VALUE | 1 | rh->this_lsn | 1-u64max |
| PARAM_VALUE | 2 | buffer | 4096-ptr_max |
| BUF_SIZE | 2 | buffer | 64-u32max |
| CAPPED_DATA | 0 | log->l_size | 1 |
| DATA_SOURCE | 0 | log | $0 |
| DATA_SOURCE | 2 | buffer | r _kmalloc_noprof |