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 __ail2_empty() -> gfs2_assert_warn_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_idle | 0-1 |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.next | 56,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 | 1327610137507143680 |
| PARAM_VALUE | 2 | function | 2717412518391713792 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 398 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 30 |
| BUF_SIZE | 2 | function | 13 |
| BUF_SIZE | 3 | file | 14 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 29 |
| 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_ail_lock | ||
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_ail_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c __ail2_empty() -> gfs2_assert_warn_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_idle | 0-1 |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.next | 56,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 | 2407183755591532544 |
| PARAM_VALUE | 2 | function | 2717412518391713792 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 399 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 30 |
| BUF_SIZE | 2 | function | 13 |
| BUF_SIZE | 3 | file | 14 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 29 |
| 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_ail_lock | ||
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_ail_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock |
fs/gfs2/log.c gfs2_log_shutdown() -> gfs2_assert_warn_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 | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_idle | 0-1 |
| 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 | 0 | sdp->sd_vfs | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 2388014829683904512 |
| PARAM_VALUE | 2 | function | 595501636392370176 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1328 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 37 |
| 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 | 36 |
| STR_LEN | 1 | assertion | 13 |
| PARAM_COMPARE | 0 | sdp->sd_log_head | != $0->sd_log_tail |
| 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_warn_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 | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_idle | 0-1 |
| 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 | 0 | sdp->sd_vfs | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 2487414651800363008 |
| PARAM_VALUE | 2 | function | 595501636392370176 |
| PARAM_VALUE | 3 | file | 3641229950167425024 |
| PARAM_VALUE | 4 | line | 1329 |
| 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 |
| CAPPED_DATA | 0 | &sdp->sd_ail2_list | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 30 |
| STR_LEN | 1 | assertion | 13 |
| PARAM_COMPARE | 0 | &sdp->sd_ail2_list | != $0->sd_ail2_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/glock.c glock_clear_object() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 3975405761565954048 |
| PARAM_VALUE | 2 | function | 3744940267890601984 |
| PARAM_VALUE | 3 | file | 4315027834146258944 |
| PARAM_VALUE | 4 | line | 812 |
| BUF_SIZE | 1 | assertion | 22 |
| BUF_SIZE | 2 | function | 19 |
| BUF_SIZE | 3 | file | 16 |
| 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 |
fs/gfs2/glock.c glock_set_object() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 5772198986276839424 |
| PARAM_VALUE | 2 | function | 5150500744905117696 |
| PARAM_VALUE | 3 | file | 4315027834146258944 |
| PARAM_VALUE | 4 | line | 795 |
| BUF_SIZE | 1 | assertion | 20 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 19 |
| 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 gfs2_dir_read_data() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 655396614238949376 |
| PARAM_VALUE | 2 | function | 9216661616002904064 |
| PARAM_VALUE | 3 | file | 2852903715812843520 |
| PARAM_VALUE | 4 | line | 281 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 18 |
| BUF_SIZE | 2 | function | 19 |
| BUF_SIZE | 3 | file | 14 |
| 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 |
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/dir.c gfs2_dir_write_data() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 655396614238949376 |
| PARAM_VALUE | 2 | function | 7166102688156823552 |
| PARAM_VALUE | 3 | file | 2852903715812843520 |
| PARAM_VALUE | 4 | line | 172 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 18 |
| BUF_SIZE | 2 | function | 20 |
| BUF_SIZE | 3 | file | 14 |
| 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/rgrp.c gfs2_inplace_reserve() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 3079799115295019008 |
| PARAM_VALUE | 2 | function | 5989955551017234432 |
| PARAM_VALUE | 3 | file | 170823372991434752 |
| PARAM_VALUE | 4 | line | 2059 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 7 |
| BUF_SIZE | 2 | function | 21 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 6 |
| 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_inode.i_rwsem |
fs/gfs2/rgrp.c gfs2_rgrp_go_instantiate() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 7154112342343057408 |
| PARAM_VALUE | 2 | function | 3506745024624275456 |
| PARAM_VALUE | 3 | file | 170823372991434752 |
| PARAM_VALUE | 4 | line | 1257 |
| BUF_SIZE | 1 | assertion | 14 |
| BUF_SIZE | 2 | function | 25 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 13 |
| 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 | &rgd->rd_mutex | ||
| HALF_LOCKED2 | &rs->rs_rgd->rd_mutex |
fs/gfs2/rgrp.c gfs2_rlist_add() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 8364616283481829376 |
| PARAM_VALUE | 2 | function | 7144268920970792960 |
| PARAM_VALUE | 3 | file | 170823372991434752 |
| PARAM_VALUE | 4 | line | 2667 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 15 |
| BUF_SIZE | 2 | function | 15 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 14 |
| 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 |
fs/gfs2/aops.c gfs2_release_folio() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 2345720122783711232 |
| PARAM_VALUE | 2 | function | 1493363458337779712 |
| PARAM_VALUE | 3 | file | 492855968775249920 |
| PARAM_VALUE | 4 | line | 687 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 16 |
| BUF_SIZE | 2 | function | 19 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 15 |
| STR_LEN | 1 | assertion | 14 |
| 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 | &folio->private->lock | ||
| HALF_LOCKED2 | global &mf_mutex | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_lock |
fs/gfs2/quota.c do_glock() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 6957998051963363328 |
| PARAM_VALUE | 2 | function | 544930832845783040 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 1045 |
| BUF_SIZE | 1 | assertion | 28 |
| BUF_SIZE | 2 | function | 9 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp | 1 |
| STR_LEN | 0 | sdp | 27 |
| 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 | &of->mutex |
fs/gfs2/quota.c gfs2_qd_dispose() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 6476680027013201920 |
| PARAM_VALUE | 2 | function | 7984388806034341888 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 129 |
| BUF_SIZE | 1 | assertion | 15 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 14 |
| 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 |
fs/gfs2/quota.c gfs2_qd_dispose() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 9025362663451271168 |
| PARAM_VALUE | 2 | function | 7984388806034341888 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 130 |
| BUF_SIZE | 1 | assertion | 17 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 16 |
| 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 |
fs/gfs2/quota.c gfs2_qd_dispose() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 7100238266285441024 |
| PARAM_VALUE | 2 | function | 7984388806034341888 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 131 |
| BUF_SIZE | 1 | assertion | 17 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 16 |
| 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 |
fs/gfs2/quota.c gfs2_quota_change() -> gfs2_assert_warn_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 | 1614587315868663808 |
| PARAM_VALUE | 2 | function | 730617621491675136 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 1306 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 7 |
| BUF_SIZE | 2 | function | 18 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 6 |
| 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/quota.c gfs2_quota_hold() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 4970853573854285824 |
| PARAM_VALUE | 2 | function | 2187924292770357248 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 613 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 25 |
| BUF_SIZE | 2 | function | 16 |
| 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 | |||
| UNITS | 0 | sdp | unit_byte |
fs/gfs2/quota.c gfs2_quota_hold() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 4921962402396782592 |
| PARAM_VALUE | 2 | function | 2187924292770357248 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 614 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 39 |
| BUF_SIZE | 2 | function | 16 |
| 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 | |||
| UNITS | 0 | sdp | unit_byte |
fs/gfs2/quota.c gfs2_quota_unhold() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 4921962402396782592 |
| PARAM_VALUE | 2 | function | 1893163160618262528 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 665 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 39 |
| BUF_SIZE | 2 | function | 18 |
| 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 | |||
| UNITS | 0 | sdp | unit_byte |
fs/gfs2/quota.c gfs2_quota_unlock() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp->sd_quota_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 6612007507042377728 |
| PARAM_VALUE | 2 | function | 5997834722756386816 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 1188 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 19 |
| BUF_SIZE | 2 | function | 18 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 18 |
| 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 |
fs/gfs2/quota.c qd_unlock() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 2693200971132342272 |
| PARAM_VALUE | 2 | function | 8497428463040282624 |
| PARAM_VALUE | 3 | file | 8312240688764375040 |
| PARAM_VALUE | 4 | line | 521 |
| BUF_SIZE | 1 | assertion | 36 |
| BUF_SIZE | 2 | function | 10 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 35 |
| 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 | &qd->qd_lockref.lock | ||
| HALF_LOCKED2 | &sdp->sd_quota_sync_mutex | ||
| TYPE_LOCK | (struct lockref)->lock |
fs/gfs2/super.c gfs2_evict_inode() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 5545987958274314240 |
| PARAM_VALUE | 2 | function | 7991154963259691008 |
| PARAM_VALUE | 3 | file | 5947711296894672896 |
| PARAM_VALUE | 4 | line | 1494 |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 0 | sdp | 1-s32max |
| BUF_SIZE | 1 | assertion | 26 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 16 |
| STR_LEN | 0 | sdp | 25 |
| 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/super.c gfs2_make_fs_ro() -> gfs2_assert_warn_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 | 4096-ptr_max |
| PARAM_VALUE | 0 | sdp->sd_log_idle | 0-1 |
| PARAM_VALUE | 0 | sdp->sd_log_ordered.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 1914405564850921472 |
| PARAM_VALUE | 2 | function | 6125209418358845440 |
| PARAM_VALUE | 3 | file | 5947711296894672896 |
| PARAM_VALUE | 4 | line | 566 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 23 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 22 |
| 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 | &sb->s_umount |
fs/gfs2/file.c do_flock() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 6963268041314455552 |
| PARAM_VALUE | 2 | function | 3579114485342027776 |
| PARAM_VALUE | 3 | file | 5891023528243945472 |
| PARAM_VALUE | 4 | line | 1546 |
| BUF_SIZE | 1 | assertion | 7 |
| BUF_SIZE | 2 | function | 9 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 6 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &fp->f_fl_mutex | ||
| TYPE_LOCK | (struct gfs2_file)->f_fl_mutex |
fs/gfs2/file.c gfs2_open_common() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | assertion | 5453388672979939328 |
| PARAM_VALUE | 2 | function | 1784908730759327744 |
| PARAM_VALUE | 3 | file | 5891023528243945472 |
| PARAM_VALUE | 4 | line | 646 |
| BUF_SIZE | 1 | assertion | 20 |
| BUF_SIZE | 2 | function | 17 |
| BUF_SIZE | 3 | file | 15 |
| STR_LEN | 0 | sdp | 19 |
| STR_LEN | 1 | assertion | 14 |
| TERMINATED | 1 | assertion | 1 |
| TERMINATED | 3 | file | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/gfs2/trans.c __gfs2_trans_begin() -> gfs2_assert_warn_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 | 1417133258655219712 |
| PARAM_VALUE | 2 | function | 2802504399553519616 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 73 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 44 |
| BUF_SIZE | 2 | function | 19 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp->sd_jdesc->jd_blocks | 1 |
| DATA_SOURCE | 0 | sdp | $1 |
| STR_LEN | 0 | sdp | 43 |
| 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/trans.c gfs2_trans_free() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 1327610137507143680 |
| PARAM_VALUE | 2 | function | 936857210729345024 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 357 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 30 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 29 |
| STR_LEN | 1 | assertion | 15 |
| 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_ail_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/trans.c gfs2_trans_free() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 2407183755591532544 |
| PARAM_VALUE | 2 | function | 936857210729345024 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 358 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 30 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 29 |
| STR_LEN | 1 | assertion | 15 |
| 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_ail_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/trans.c gfs2_trans_free() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 3063097758058188800 |
| PARAM_VALUE | 2 | function | 936857210729345024 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 359 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 28 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 27 |
| STR_LEN | 1 | assertion | 15 |
| 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_ail_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/gfs2/trans.c gfs2_trans_free() -> gfs2_assert_warn_i()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | assertion | 3801614900970364928 |
| PARAM_VALUE | 2 | function | 936857210729345024 |
| PARAM_VALUE | 3 | file | 6833247123859804160 |
| PARAM_VALUE | 4 | line | 360 |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 0 | sdp | (-1),1-s32max |
| BUF_SIZE | 1 | assertion | 24 |
| BUF_SIZE | 2 | function | 16 |
| BUF_SIZE | 3 | file | 16 |
| CAPPED_DATA | 0 | sdp | 1 |
| DATA_SOURCE | 0 | sdp | $0 |
| STR_LEN | 0 | sdp | 23 |
| STR_LEN | 1 | assertion | 15 |
| 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_ail_lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |