Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/gfs2/log.c __gfs2_log_flush() -> __gfs2_log_reserve()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_blks_free.counter | 0-s32max |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sdp->sd_log_num_revoke | 0 |
| PARAM_VALUE | 0 | sdp->sd_log_tr | 0 |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_bdev->bd_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 1 | blks | 4 |
| PARAM_VALUE | 2 | taboo_blks | 0,4 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| CAPPED_DATA | 0 | sdp | 1 |
| CAPPED_DATA | 0 | &sdp->sd_log_flush_lock | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| FUZZY_MAX | 2 | taboo_blks | 4 |
| BIT_INFO | 2 | taboo_blks | 0x0,0x4 |
| HARD_MAX | 2 | taboo_blks | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
fs/gfs2/log.c gfs2_log_reserve() -> __gfs2_log_reserve()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_blks_free.counter | 0-s32max |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sdp->sd_log_flush_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sdp->sd_vfs | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_bdev->bd_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | sdp->sd_vfs->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 2 | taboo_blks | 4 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| DATA_SOURCE | 0 | sdp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |