Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 23 files:
- block/fops.c, line 928
- fs/9p/vfs_file.c, line 476
- fs/adfs/file.c, line 28
- fs/affs/file.c, line 1007
- fs/afs/file.c, line 516
- fs/bfs/file.c, line 30
- fs/ext2/file.c, line 198
- fs/fat/file.c, line 209
- fs/hfs/inode.c, line 720
- fs/hfsplus/inode.c, line 461
- fs/hostfs/hostfs_kern.c, line 385
- fs/hpfs/file.c, line 264
- fs/jfs/file.c, line 150
- fs/minix/file.c, line 21
- fs/nfs/file.c, line 232
- fs/ntfs3/file.c, line 450
- fs/omfs/file.c, line 336
- fs/ramfs/file-mmu.c, line 44
- fs/smb/client/file.c
- fs/ubifs/file.c, line 1588
- fs/ufs/file.c, line 42
- fs/vboxsf/file.c, line 172
- mm/filemap.c
Smatch caller information:
fs/afs/file.c afs_file_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
fs/nfs/file.c nfs_file_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
mm/filemap.c generic_file_readonly_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
fs/smb/client/file.c cifs_file_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->file->f_inode->free_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops | 5230492435582226432,5840437509158883328 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_data.host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_flags | 0,2048-u32max |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->compat_ioctl | 0,8277073810606530560 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->fallocate | 0,1357960504741019648 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->fasync | 0,5498812003250176 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->fop_flags | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->fsync | 0,3027818812235636736 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->iopoll | 0,4655420991112224768 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->llseek | 0,492277767372734464,822347878553698304 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->mmap_prepare | 0,6885435863193137152 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->open | 4158924390425796608,7277030936111849472,7594670192474746880 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->poll | 0,3382901614843973632 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->read_iter | 0,1361316500034015232,4899218341707628544 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->release | 0,3782443451574296576,5408471863795695616 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->splice_read | 0,1218082698985836544 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->splice_write | 0,3145220535271485440 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->unlocked_ioctl | 0,1267359996887056384,6849614532843819008 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->uring_cmd | 0,1098803881749745664 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_fop->write_iter | 0,5042835639063556096,8526717696347947008 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->i_mmap_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->invalidate_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->invalidate_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->invalidate_lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_op | 352784351521652736,2561672163383513088,5312600174384132096,7759735843962634240 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | desc->file->private_data->tlink->tl_tcon->num_smbs_sent.counter | s32min-s32max |
| PARAM_VALUE | 0 | desc->file->private_data->tlink->tl_tcon->ses->server->max_in_flight | 1-4294967295 |
| PARAM_VALUE | 0 | desc->file->private_data->tlink->tl_tcon->ses->server->nofs_flag | 0,262144 |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| PARAM_VALUE | 0 | *desc->file->private_data->tlink->tl_tcon->ses->server->fastest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->file->private_data->tlink->tl_tcon->ses->server->slowest_cmd | 0-4294967295 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
fs/smb/client/file.c cifs_file_strict_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
fs/ubifs/file.c ubifs_file_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
block/fops.c blkdev_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->file->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
fs/ntfs3/file.c ntfs_file_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->file->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | desc->file->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| PARAM_VALUE | 0 | desc->vma_flags.__vma_flags | 4096-ptr_max |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
fs/9p/vfs_file.c v9fs_file_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
fs/vboxsf/file.c vboxsf_file_mmap_prepare() -> generic_file_mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0-9007199254740990 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 0 | desc->file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 0,6756087424609792000 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
mm/util.c vfs_mmap_prepare() -> (struct file_operations)->mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920 |
| DATA_SOURCE | 0 | desc | $1 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| MEM_ZERO | 0 | desc | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0[c] |
| USER_DATA | 0 | desc->start | 0 |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
mm/vma.c vfs_mmap_prepare() -> (struct file_operations)->mmap_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.map_kernel.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.pgprot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->action.remap.size | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start | 0 |
| PARAM_VALUE | 0 | desc->action.remap.start_pfn | 0 |
| PARAM_VALUE | 0 | desc->action.type | 0 |
| PARAM_VALUE | 0 | desc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->page_prot.pgprot | 0 |
| PARAM_VALUE | 0 | desc->pgoff | 0-4503599627370495 |
| PARAM_VALUE | 0 | desc->private_data | 0 |
| PARAM_VALUE | 0 | desc->start | 0-18446744073709547520 |
| PARAM_VALUE | 0 | desc->vm_file | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->vm_ops | 6756087424609792000 |
| DATA_SOURCE | 0 | desc | $1 |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |