Documented in 1 files:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/char/hpet.c, line 374
- drivers/hwtracing/stm/core.c, line 732
- drivers/misc/open-dice.c, line 108
- drivers/staging/vme_user/vme.c, line 770
- drivers/uio/uio_hv_generic.c, line 164
Smatch caller information:
drivers/staging/vme_user/vme.c vme_master_mmap_prepare() -> mmap_action_simple_ioremap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| DATA_SOURCE | 0 | desc | $1 |
| DATA_SOURCE | 2 | size | r vma_desc_size |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | desc->end | 4096-u64max[c] |
| USER_DATA | 0 | desc->pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520 |
| USER_DATA | 1 | start_phys_addr | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff | |
| UNITS | 1 | start_phys_addr | unit_byte |
| UNITS | 2 | size | unit_byte |
drivers/hwtracing/stm/core.c stm_char_mmap_prepare() -> mmap_action_simple_ioremap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 1 | start_phys_addr | 1-u64max |
| PARAM_VALUE | 2 | size | 0 |
| BUF_SIZE | 0 | desc->vm_ops | 144 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 2 | size | r vma_desc_size |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | desc->end | 0[c] |
| USER_DATA | 0 | desc->pgoff | 0[c] |
| USER_DATA | 0 | desc->start | 0-s32max,18446744071562067968-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pgoff |
drivers/char/hpet.c hpet_mmap_prepare() -> mmap_action_simple_ioremap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| PARAM_VALUE | 2 | size | 4096 |
| BUF_SIZE | 0 | desc->vm_ops | (-1),144 |
| DATA_SOURCE | 0 | desc | $0 |
| BIT_INFO | 1 | start_phys_addr | 0x0,0xfffffffffffff000 |
| BIT_INFO | 1 | start_phys_addr | 0x0,0xfffffffffffff000 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 | |
| UNITS | 1 | start_phys_addr | unit_byte |
| UNITS | 2 | size | unit_byte |
drivers/uio/uio_hv_generic.c hv_uio_ring_mmap_prepare() -> mmap_action_simple_ioremap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 1325290474384461824 |
| PARAM_VALUE | 0 | desc->action.simple_ioremap.size | 0 |
| PARAM_VALUE | 0 | desc->action.simple_ioremap.start_phys_addr | 0 |
| PARAM_VALUE | 0 | desc->action.type | 0 |
| PARAM_VALUE | 2 | size | 0,4096-4294963200 |
| CAPPED_DATA | 1 | start_phys_addr | 1 |
| DATA_SOURCE | 0 | desc | $1 |
| BIT_INFO | 2 | size | 0x0,0xfffff000 |
| NOSPEC | 0 | desc->pgoff | |
| NOSPEC | 0 | desc->start | |
| MEM_ZERO | 0 | desc | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 | |
| UNITS | 2 | size | unit_byte |
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/misc/open-dice.c open_dice_mmap_prepare() -> mmap_action_simple_ioremap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3854971988944465920,5235489163923165184 |
| PARAM_VALUE | 0 | desc->action.type | 0-3 |
| 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 | |||
| NOCHECK_CALL | |||
| 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 |