Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/coda/upcall.c venus_access() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 40 |
| PARAM_VALUE | 2 | outSize | 6282884085434630144 |
| PARAM_VALUE | 2 | *outSize | 40 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_access.flags | 1-7 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 40 |
| BUF_SIZE | 3 | buffer | 40 |
| CAPPED_DATA | 3 | buffer->coda_access.flags | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| NOSPEC | 3 | buffer->coda_access.flags | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | buffer->coda_access.flags | 1-7[c] |
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &cgroup_mutex |
fs/coda/upcall.c venus_access_intent() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 48 |
| PARAM_VALUE | 2 | outSize | 0,8856013600621137920 |
| PARAM_VALUE | 2 | *outSize | 48 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_access_intent.type | 1-5 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 2 | outSize | 0,4 |
| BUF_SIZE | 3 | buffer | 48 |
| BUF_SIZE | 3 | buffer | 48 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| BIT_INFO | 2 | outSize | 0x0,0x7ae6e172d70d1000 |
| HARD_MAX | 3 | buffer->coda_access_intent.type | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | buffer->coda_access_intent.count | 1-2147479552[c] |
| USER_DATA | 3 | buffer->coda_access_intent.pos | s32min-s32max |
| UNITS | 1 | inSize | unit_byte |
fs/coda/upcall.c venus_close() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 40 |
| PARAM_VALUE | 2 | outSize | 5001601601697202176 |
| PARAM_VALUE | 2 | *outSize | 40 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_close.flags | 0-4,16-20,512-516,528-532 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 40 |
| BUF_SIZE | 3 | buffer | 40 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
fs/coda/upcall.c venus_create() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | s32min-(-1),168-s32max |
| PARAM_VALUE | 2 | outSize | 5909193204453249024 |
| PARAM_VALUE | 2 | *outSize | s32min-(-1),168-s32max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_create.excl | 0 |
| PARAM_VALUE | 3 | buffer->coda_create.name | 192 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),168-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),168-s32max |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | buffer->coda_create.attr.va_mode | 32768-36863[c] |
| USER_DATA | 3 | buffer->coda_create.mode | 32768-36863[c] |
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/coda/upcall.c venus_fsync() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 36 |
| PARAM_VALUE | 2 | outSize | 1768794667736780800 |
| PARAM_VALUE | 2 | *outSize | 36 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 36 |
| BUF_SIZE | 3 | buffer | 36 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| LOCK2 | &coda_inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/coda/upcall.c venus_getattr() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 152 |
| PARAM_VALUE | 2 | outSize | 3897030041664581632 |
| PARAM_VALUE | 2 | *outSize | 152 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 152 |
| BUF_SIZE | 3 | buffer | 152 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
fs/coda/upcall.c venus_link() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 2 | outSize | 8777366604589436928 |
| PARAM_VALUE | 2 | *outSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_link.tname | 56 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/coda/upcall.c venus_lookup() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 45-300 |
| PARAM_VALUE | 2 | outSize | 1415046378659065856 |
| PARAM_VALUE | 2 | *outSize | 45-300 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_lookup.flags | 1 |
| PARAM_VALUE | 3 | buffer->coda_lookup.name | 44 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 45-300 |
| BUF_SIZE | 3 | buffer | 45-300 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/coda/upcall.c venus_mkdir() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | s32min-(-1),168-s32max |
| PARAM_VALUE | 2 | outSize | 7096104689887920128 |
| PARAM_VALUE | 2 | *outSize | s32min-(-1),168-s32max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_mkdir.attr.va_mode | 0-1023 |
| PARAM_VALUE | 3 | buffer->coda_mkdir.name | 184 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),168-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),168-s32max |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | buffer->coda_mkdir.attr.va_mode | 0-1023[c] |
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &de->d_lockref.lock |
fs/coda/upcall.c venus_open() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 40 |
| PARAM_VALUE | 2 | outSize | 8689460732188868608 |
| PARAM_VALUE | 2 | *outSize | 40 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_open_by_fd.flags | 0-4,16-20,512-516,528-532 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 40 |
| BUF_SIZE | 3 | buffer | 40 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
fs/coda/upcall.c venus_pioctl() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 56-8248 |
| PARAM_VALUE | 2 | outSize | 235896502726008832 |
| PARAM_VALUE | 2 | *outSize | 8552 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_ioctl.data | 56 |
| PARAM_VALUE | 3 | buffer->coda_ioctl.len | 0-8192 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 8552 |
| BUF_SIZE | 3 | buffer | 8552 |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| USER_DATA | 1 | inSize | 57-8248[c] |
| USER_DATA | 3 | buffer->coda_ioctl.cmd | s32min-s32max[c] |
| USER_DATA | 3 | buffer->coda_ioctl.len | 0-8192 |
fs/coda/upcall.c venus_readlink() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 4120 |
| PARAM_VALUE | 2 | outSize | 330350006296346624 |
| PARAM_VALUE | 2 | *outSize | 4120 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 4120 |
| BUF_SIZE | 3 | buffer | 4120 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/coda/upcall.c venus_remove() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 2 | outSize | 7721854273873248256 |
| PARAM_VALUE | 2 | *outSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_remove.name | 40 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| LOCK2 | &target->i_rwsem | ||
| HALF_LOCKED2 | &de->d_lockref.lock | ||
| HALF_LOCKED2 | &de->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/coda/upcall.c venus_rename() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 2 | outSize | 6863113640429494272 |
| PARAM_VALUE | 2 | *outSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_rename.destname | 64 |
| PARAM_VALUE | 3 | buffer->coda_rename.srcname | 60 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/coda/upcall.c venus_rmdir() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 2 | outSize | 7182265833089069056 |
| PARAM_VALUE | 2 | *outSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_rmdir.name | 40 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| LOCK2 | &de->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &de->d_lockref.lock | ||
| HALF_LOCKED2 | &de->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/coda/upcall.c venus_rootfid() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcp | 4096-ptr_max |
| PARAM_VALUE | 1 | inSize | 28 |
| PARAM_VALUE | 2 | outSize | 7740217509426053120 |
| PARAM_VALUE | 2 | *outSize | 28 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 28 |
| BUF_SIZE | 3 | buffer | 28 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount |
fs/coda/upcall.c venus_setattr() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 176 |
| PARAM_VALUE | 2 | outSize | 7872484281671045120 |
| PARAM_VALUE | 2 | *outSize | 176 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_blocksize | (-1) |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_bytes | u64max |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_fileid | (-1) |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_flags | 0 |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_gen | u64max |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_nlink | (-1) |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_rdev | u64max |
| PARAM_VALUE | 3 | buffer->coda_setattr.attr.va_type | 0 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 176 |
| BUF_SIZE | 3 | buffer | 176 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| NOSPEC | 3 | buffer->coda_setattr.attr.va_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | buffer->coda_setattr.attr.va_mode | 0 |
| USER_DATA | 3 | buffer->coda_setattr.attr.va_size | 0 |
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &de->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &de->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/coda/upcall.c venus_statfs() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | 32 |
| PARAM_VALUE | 2 | outSize | 3439641458363871232 |
| PARAM_VALUE | 2 | *outSize | 32 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | 32 |
| BUF_SIZE | 3 | buffer | 32 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |
| HALF_LOCKED2 | &s->s_umount |
fs/coda/upcall.c venus_symlink() -> coda_upcall()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | inSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 2 | outSize | 6467825464336519168 |
| PARAM_VALUE | 2 | *outSize | s32min-(-1),12-s32max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->coda_symlink.srcname | 184 |
| PARAM_VALUE | 3 | buffer->coda_symlink.tname | 188,192-1212 |
| BUF_SIZE | 0 | vcp | 1-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| BUF_SIZE | 3 | buffer | s32min-(-1),12-s32max |
| CAPPED_DATA | 1 | inSize | 1 |
| DATA_SOURCE | 3 | buffer | r alloc_upcall |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | inSize | unit_byte |