Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/jffs2/xattr.c create_xattr_ref() -> jffs2_free_xattr_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->class | 2 |
| PARAM_VALUE | 0 | ref->ic | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->node | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->xd | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->xd->xprefix | 1-5 |
| CAPPED_DATA | 0 | ref->xd->xprefix | 1 |
| DATA_SOURCE | 0 | ref | r jffs2_alloc_xattr_ref |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ref->xd->value_len | 0-65536 |
| LOCK2 | &c->alloc_sem | ||
| LOCK2 | &c->xattr_sem | ||
| TYPE_LOCK | (struct jffs2_sb_info)->alloc_sem | ||
| TYPE_LOCK | (struct jffs2_sb_info)->xattr_sem |
fs/jffs2/xattr.c jffs2_build_xattr_subsystem() -> jffs2_free_xattr_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->node | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->node->next_in_ino | 0 |
| CAPPED_DATA | 0 | ref | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/jffs2/xattr.c jffs2_build_xattr_subsystem() -> jffs2_free_xattr_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->node | 4096-ptr_max |
| CAPPED_DATA | 0 | ref->ino | 1 |
| CAPPED_DATA | 0 | ref->xid | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/jffs2/xattr.c jffs2_clear_xattr_subsystem() -> jffs2_free_xattr_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/jffs2/xattr.c jffs2_clear_xattr_subsystem() -> jffs2_free_xattr_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/jffs2/xattr.c jffs2_release_xattr_ref() -> jffs2_free_xattr_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->node | 4096-ptr_max |
| BUF_SIZE | 0 | ref | 0 |
| CAPPED_DATA | 0 | ref | 1 |
| CAPPED_DATA | 0 | ref->node | 1 |
| DATA_SOURCE | 0 | ref | $1 |
| PARAM_COMPARE | 0 | ref | == $0->node |
| PARAM_COMPARE | 0 | ref | == $0->node |
| BIT_INFO | 0 | ref | 0x0,0x0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &c->alloc_sem | ||
| HALF_LOCKED2 | &c->erase_completion_lock | ||
| HALF_LOCKED2 | &c->erase_free_sem | ||
| HALF_LOCKED2 | &c->wbuf_sem | ||
| HALF_LOCKED2 | &c->xattr_sem |
fs/jffs2/xattr.c jffs2_xattr_free_inode() -> jffs2_free_xattr_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4096-ptr_max |
| PARAM_VALUE | 0 | ref->xd | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &c->xattr_sem | ||
| TYPE_LOCK | (struct jffs2_sb_info)->xattr_sem |