Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/gfs2/lock_dlm.c control_first_done() -> control_lvb_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ls | 4096-ptr_max |
| PARAM_VALUE | 0 | ls->ls_first | 1-u32max |
| PARAM_VALUE | 0 | ls->ls_jid | s32min-(-2),0-s32max |
| PARAM_VALUE | 0 | ls->ls_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ls->ls_recover_spin.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ls | 488 |
| BUF_SIZE | 2 | lvb_bits | 32 |
| CAPPED_DATA | 0 | ls->ls_jid | 1 |
| MEM_ZERO | 0 | ls->ls_lvb_bits | |
| MEM_ZERO | 0 | ls->ls_recover_result | |
| MEM_ZERO | 0 | ls->ls_recover_submit | |
| MEM_ZERO | 2 | lvb_bits | |
| NOCHECK_CALL |
fs/gfs2/lock_dlm.c gfs2_control_func() -> control_lvb_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ls | 4096-ptr_max |
| PARAM_VALUE | 0 | ls->ls_recover_spin.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ls | 488 |
| BUF_SIZE | 2 | lvb_bits | 32 |
| CAPPED_DATA | 0 | ls->ls_recover_block | 1 |
| CAPPED_DATA | 0 | ls->ls_recover_start | 1 |
| CAPPED_DATA | 1 | lvb_gen | 1 |
| PARAM_COMPARE | 0 | ls->ls_recover_block | != $0->ls_recover_start |
| PARAM_COMPARE | 0 | ls->ls_recover_block | != $1 |
| PARAM_COMPARE | 0 | ls->ls_recover_start | == $1 |
| PARAM_COMPARE | 1 | lvb_gen | != $0->ls_recover_block |
| PARAM_COMPARE | 1 | lvb_gen | == $0->ls_recover_start |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |