Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/gfs2/log.c __gfs2_log_flush() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7971708426352779264 |
| PARAM_VALUE | 2 | function | 2484508285320228864 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1106 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 47 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 46 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c __gfs2_log_flush() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_num_revoke | 1-u32max |
| PARAM_VALUE | 1 | assertion | 4514905706407866368 |
| PARAM_VALUE | 2 | function | 2484508285320228864 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1131 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 18 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 17 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c __gfs2_log_flush() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.next | 4096-791686512320380927,791686512320380929-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 6207200298278699008 |
| PARAM_VALUE | 2 | function | 2484508285320228864 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1181 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 52 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 51 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c __gfs2_log_flush() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.next | 4096-791686512320380927,791686512320380929-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 6195746863651835904 |
| PARAM_VALUE | 2 | function | 2484508285320228864 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1186 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 30 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 29 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c gfs2_log_release() -> gfs2_assert_withdraw_i()
| 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 | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | assertion | 7754502410640363520 |
| PARAM_VALUE | 2 | function | 1368879555443507200 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 470 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp->sd_log_tr | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 82 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| CAPPED_DATA | 0 | sdp->sd_jdesc->jd_blocks | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 81 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_lock |
fs/gfs2/log.c gfs2_log_shutdown() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_ail2_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.next | 4096-791686512320380927,791686512320380929-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 1095892880540635136 |
| PARAM_VALUE | 2 | function | 595501636392370176 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1321 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 27 |
| BUF_SIZE | 2 | function | 18 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 26 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c gfs2_log_shutdown() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_ail2_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_num_revoke | 1-u32max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.next | 4096-791686512320380927,791686512320380929-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7384697513936715776 |
| PARAM_VALUE | 2 | function | 595501636392370176 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1322 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 24 |
| BUF_SIZE | 2 | function | 18 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 23 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c gfs2_log_shutdown() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_ail2_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.next | 4096-791686512320380927,791686512320380929-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 1469874231642832896 |
| PARAM_VALUE | 2 | function | 595501636392370176 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1323 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 31 |
| BUF_SIZE | 2 | function | 18 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| CAPPED_DATA | 0 | &sdp->sd_ail1_list | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 30 |
| STR_LEN | 1 | assertion | 13 |
| PARAM_COMPARE | 0 | &sdp->sd_ail1_list | != $0->sd_ail1_list.next |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c gfs2_write_log_header() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 4624737825163264000 |
| PARAM_VALUE | 2 | function | 8153650150557847552 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 864 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 9 |
| BUF_SIZE | 2 | function | 22 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 8 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &sdp->sd_freeze_mutex | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c log_refund() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 2470290088332046336 |
| PARAM_VALUE | 2 | function | 3716324195715633152 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1259 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 37 |
| BUF_SIZE | 2 | function | 11 |
| BUF_SIZE | 3 | file | 14 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 36 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ip->i_inode.i_rwsem | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_lock |
fs/gfs2/log.c log_refund() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7156984430694526976 |
| PARAM_VALUE | 2 | function | 3716324195715633152 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1266 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp->sd_log_tr | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 19 |
| BUF_SIZE | 2 | function | 11 |
| BUF_SIZE | 3 | file | 14 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 18 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ip->i_inode.i_rwsem | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_lock |
fs/gfs2/log.c log_write_header() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_ail2_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_vfs | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 1557786332472565760 |
| PARAM_VALUE | 2 | function | 5767560650151833600 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 910 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 43 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 14 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 42 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/xattr.c ea_set_remove_stuffed() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 1968700742641008640 |
| PARAM_VALUE | 2 | function | 3834215283561988096 |
| PARAM_VALUE | 3 | file | 4212802027230593024 |
| PARAM_VALUE | 4 | line | 855 |
| BUF_SIZE | 1 | assertion | 25 |
| BUF_SIZE | 2 | function | 22 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 24 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/gfs2/xattr.c ea_set_remove_unstuffed() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 8690647774666756096 |
| PARAM_VALUE | 2 | function | 6555822947640078336 |
| PARAM_VALUE | 3 | file | 4212802027230593024 |
| PARAM_VALUE | 4 | line | 1082 |
| BUF_SIZE | 1 | assertion | 39 |
| BUF_SIZE | 2 | function | 24 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 38 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/gfs2/xattr.c ea_write() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 8752373075691429888 |
| PARAM_VALUE | 2 | function | 1390226479166926848 |
| PARAM_VALUE | 3 | file | 4212802027230593024 |
| PARAM_VALUE | 4 | line | 732 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 10 |
| BUF_SIZE | 2 | function | 9 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp->sd_jbsize | 1 |
| STR_LEN | 0 | sdp | 9 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
fs/gfs2/dir.c dir_split_leaf() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 6963268041314455552 |
| PARAM_VALUE | 2 | function | 4902721376198578176 |
| PARAM_VALUE | 3 | file | 2852903715812843520 |
| PARAM_VALUE | 4 | line | 1120 |
| BUF_SIZE | 1 | assertion | 7 |
| BUF_SIZE | 2 | function | 15 |
| BUF_SIZE | 3 | file | 14 |
| STR_LEN | 0 | sdp | 6 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/dir.c gfs2_dir_write_data() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7734641089793212416 |
| PARAM_VALUE | 2 | function | 7166102688156823552 |
| PARAM_VALUE | 3 | file | 2852903715812843520 |
| PARAM_VALUE | 4 | line | 199 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 7 |
| BUF_SIZE | 2 | function | 20 |
| BUF_SIZE | 3 | file | 14 |
| STR_LEN | 0 | sdp | 6 |
| STR_LEN | 1 | assertion | 13 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/aops.c gfs2_jdata_writeback() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 8211670932590718976 |
| PARAM_VALUE | 2 | function | 1519593121670426624 |
| PARAM_VALUE | 3 | file | 492855968775249920 |
| PARAM_VALUE | 4 | line | 135 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 38 |
| BUF_SIZE | 2 | function | 21 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 37 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/quota.c gfs2_quota_change() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_args.ar_quota | 1-3 |
| PARAM_VALUE | 1 | assertion | 3505227701452939264 |
| PARAM_VALUE | 2 | function | 730617621491675136 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 1311 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 41 |
| BUF_SIZE | 2 | function | 18 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 40 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/bmap.c punch_hole() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 6153741481159208960 |
| PARAM_VALUE | 2 | function | 5953571970940297216 |
| PARAM_VALUE | 3 | file | 8103270738269351936 |
| PARAM_VALUE | 4 | line | 1861 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 3 |
| BUF_SIZE | 2 | function | 11 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 2 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/gfs2/bmap.c punch_hole() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7399280921112436736 |
| PARAM_VALUE | 2 | function | 5953571970940297216 |
| PARAM_VALUE | 3 | file | 8103270738269351936 |
| PARAM_VALUE | 4 | line | 1862 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 26 |
| BUF_SIZE | 2 | function | 11 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 25 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/gfs2/bmap.c sweep_bh_for_rgrps() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 4411384026409840640 |
| PARAM_VALUE | 2 | function | 304819298256740352 |
| PARAM_VALUE | 3 | file | 8103270738269351936 |
| PARAM_VALUE | 4 | line | 1505 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 41 |
| BUF_SIZE | 2 | function | 19 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 40 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ip->i_rw_mutex | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/glops.c freeze_go_xmote_bh() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 6963268041314455552 |
| PARAM_VALUE | 2 | function | 2961926583614906368 |
| PARAM_VALUE | 3 | file | 8852987468901138432 |
| PARAM_VALUE | 4 | line | 614 |
| BUF_SIZE | 1 | assertion | 7 |
| BUF_SIZE | 2 | function | 19 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp->sd_jdesc->jd_inode->i_mapping | 1 |
| CAPPED_DATA | 0 | sdp->sd_jdesc->jd_inode->i_mapping->i_pages.xa_head | 1 |
| STR_LEN | 0 | sdp | 6 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/gfs2/glops.c freeze_go_xmote_bh() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_jdesc | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 8782880317950812160 |
| PARAM_VALUE | 2 | function | 2961926583614906368 |
| PARAM_VALUE | 3 | file | 8852987468901138432 |
| PARAM_VALUE | 4 | line | 616 |
| BUF_SIZE | 1 | assertion | 38 |
| BUF_SIZE | 2 | function | 19 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp->sd_jdesc->jd_inode->i_mapping | 1 |
| CAPPED_DATA | 0 | sdp->sd_jdesc->jd_inode->i_mapping->i_pages.xa_head | 1 |
| STR_LEN | 0 | sdp | 37 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/gfs2/glops.c inode_go_inval() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 3378567380194476032 |
| PARAM_VALUE | 2 | function | 5416414671703642112 |
| PARAM_VALUE | 3 | file | 8852987468901138432 |
| PARAM_VALUE | 4 | line | 362 |
| BUF_SIZE | 1 | assertion | 32 |
| BUF_SIZE | 2 | function | 15 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 31 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
fs/gfs2/glops.c rgrp_go_inval() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 3378567380194476032 |
| PARAM_VALUE | 2 | function | 7865842157142589440 |
| PARAM_VALUE | 3 | file | 8852987468901138432 |
| PARAM_VALUE | 4 | line | 235 |
| BUF_SIZE | 1 | assertion | 32 |
| BUF_SIZE | 2 | function | 14 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 31 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
fs/gfs2/lops.c gfs2_pin() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 2189389134032601088 |
| PARAM_VALUE | 2 | function | 8891084962123640832 |
| PARAM_VALUE | 3 | file | 8710361240047661056 |
| PARAM_VALUE | 4 | line | 50 |
| BUF_SIZE | 1 | assertion | 2 |
| BUF_SIZE | 2 | function | 9 |
| BUF_SIZE | 3 | file | 15 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 1 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_lock | ||
| HALF_LOCKED2 | &ip->i_rw_mutex | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_lock |
fs/gfs2/lops.c revoke_lo_before_commit() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_error | 0-s32max |
| PARAM_VALUE | 0 | sdp->sd_log_num_revoke | 1-u32max |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_revokes.next | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7384697513936715776 |
| PARAM_VALUE | 2 | function | 6714361482793619456 |
| PARAM_VALUE | 3 | file | 8710361240047661056 |
| PARAM_VALUE | 4 | line | 881 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 24 |
| BUF_SIZE | 2 | function | 24 |
| BUF_SIZE | 3 | file | 15 |
| CAPPED_DATA | 0 | sdp->sd_ldptrs | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 23 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/super.c gfs2_do_thaw() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_freeze_gh.gh_flags | 132 |
| PARAM_VALUE | 0 | sdp->sd_freeze_gh.gh_state | 3 |
| PARAM_VALUE | 0 | sdp->sd_freeze_gl | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 2189389134032601088 |
| PARAM_VALUE | 2 | function | 2106108030195466240 |
| PARAM_VALUE | 3 | file | 5947711296894672896 |
| PARAM_VALUE | 4 | line | 683 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 2 |
| BUF_SIZE | 2 | function | 13 |
| BUF_SIZE | 3 | file | 16 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 1 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_freeze_mutex | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_freeze_mutex |
fs/gfs2/super.c gfs2_lock_fs_check_clean() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_freeze_gh.gh_flags | 132 |
| PARAM_VALUE | 0 | sdp->sd_freeze_gh.gh_state | 3 |
| PARAM_VALUE | 0 | sdp->sd_freeze_gl | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 3931289653373587456 |
| PARAM_VALUE | 2 | function | 8509329817124745216 |
| PARAM_VALUE | 3 | file | 5947711296894672896 |
| PARAM_VALUE | 4 | line | 381 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 8 |
| BUF_SIZE | 2 | function | 25 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | &sdp->sd_jindex_list | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 7 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_freeze_mutex | ||
| HALF_LOCKED2 | &bdev->bd_fsfreeze_mutex | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_freeze_mutex |
fs/gfs2/trans.c gfs2_trans_end() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 8788036175068200960 |
| PARAM_VALUE | 2 | function | 3594025157151080448 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 152 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 22 |
| BUF_SIZE | 2 | function | 15 |
| BUF_SIZE | 3 | file | 16 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 21 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ip->i_inode.i_rwsem | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/trans.c gfs2_trans_end() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 6032417161788022784 |
| PARAM_VALUE | 2 | function | 3594025157151080448 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 153 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 36 |
| BUF_SIZE | 2 | function | 15 |
| BUF_SIZE | 3 | file | 16 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 35 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ip->i_inode.i_rwsem | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/trans.c gfs2_trans_remove_revoke() -> gfs2_assert_withdraw_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7788480952151728128 |
| PARAM_VALUE | 2 | function | 3474579944781127680 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 339 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 23 |
| BUF_SIZE | 2 | function | 25 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | &sdp->sd_log_revokes | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 22 |
| STR_LEN | 1 | assertion | 15 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdp | unit_byte |
| LOCK2 | &sdp->sd_log_lock | ||
| HALF_LOCKED2 | &ip->i_rw_mutex | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_lock |