Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ocfs2/xattr.c ocfs2_xa_prepare_entry() -> ocfs2_xa_install_value_root()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | loc | 7029339398122737664,8438615930799898624,8924910415115821056 |
| PARAM_VALUE | 0 | loc->xl_entry | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_entry->xe_type | 0-5,128-133 |
| PARAM_VALUE | 0 | loc->xl_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops | 4348709329558278144,7485802551873527808 |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_add_entry | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_add_namevalue | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_can_reuse | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_check_space | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_fill_value_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_journal_access | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_offset_pointer | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_wipe_namevalue | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_size | 1-s32max |
| PARAM_VALUE | 0 | loc->xl_storage | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_storage->b_private->b_jcount | s32min-s32max |
| PARAM_VALUE | 0 | *loc->xl_storage->b_private | (-4611686018427387904)-4611686018427387903 |
| CAPPED_DATA | 0 | loc->xl_storage | 1 |
| DATA_SOURCE | 0 | loc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | loc->xl_entry->xe_name_offset | 0-u16max[c][u] |
| USER_DATA | 0 | loc->xl_header->xh_name_value_len | 0-u16max[c] |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &oi->ip_alloc_sem |
fs/ocfs2/xattr.c ocfs2_xa_reuse_entry() -> ocfs2_xa_install_value_root()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | loc | 7029339398122737664,8438615930799898624,8924910415115821056 |
| PARAM_VALUE | 0 | loc->xl_entry | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops | 4348709329558278144,7485802551873527808 |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_can_reuse | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_check_space | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_journal_access | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_ops->xlo_offset_pointer | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_size | 1-s32max |
| PARAM_VALUE | 0 | loc->xl_storage | 4096-ptr_max |
| PARAM_VALUE | 0 | loc->xl_storage->b_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | loc->xl_storage->b_private->b_jcount | s32min-s32max |
| PARAM_VALUE | 0 | *loc->xl_storage->b_private | (-4611686018427387904)-4611686018427387903 |
| CAPPED_DATA | 0 | loc->xl_entry->xe_name_offset | 1 |
| CAPPED_DATA | 0 | loc->xl_storage | 1 |
| DATA_SOURCE | 0 | loc | $0 |
| STR_LEN | 0 | loc->xl_inode | (-1) |
| STR_LEN | 0 | loc->xl_inode->i_sb | (-1) |
| PARAM_COMPARE | 0 | loc->xl_entry->xe_name_offset | < $0->xl_size |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &oi->ip_alloc_sem |