Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 17 files:
- arch/arc/mm/cache.c, line 828
- arch/powerpc/lib/code-patching.c, line 228
- arch/powerpc/mm/pgtable.c, line 422
- arch/powerpc/platforms/cell/spufs/file.c, line 249
- arch/powerpc/platforms/powernv/opal.c, line 1144
- arch/s390/kernel/diag/diag.c, line 229
- arch/x86/coco/sev/core.c, line 341
- arch/x86/hyperv/hv_init.c
- arch/x86/kernel/ldt.c, line 319
- arch/x86/virt/vmx/tdx/seamldr.c, line 140
- drivers/iommu/dma-iommu.c, line 1721
- drivers/mtd/devices/mtdram.c
- drivers/video/fbdev/smscufx.c, line 801
- drivers/video/fbdev/udlfb.c, line 369
- drivers/xen/xenbus/xenbus_client.c, line 421
- mm/nommu.c, line 176
- mm/vmalloc.c, line 885
Smatch caller information:
drivers/iommu/dma-iommu.c iommu_dma_mmap() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | vmalloc_addr | (-1),1-s32max |
| BUF_SIZE | 0 | vmalloc_addr | (-1),1-s32max |
| DATA_SOURCE | 0 | vmalloc_addr | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vmalloc_addr | unit_byte |
| HALF_LOCKED2 | &dev->attach_lock | ||
| HALF_LOCKED2 | &fbi->mm_lock | ||
| HALF_LOCKED2 | &file->device->disassociate_srcu | ||
| HALF_LOCKED2 | &file->disassociation_lock | ||
| HALF_LOCKED2 | &idev->info_lock | ||
| HALF_LOCKED2 | &info->mm_lock | ||
| HALF_LOCKED2 | &q->mutex |
drivers/xen/xenbus/xenbus_client.c xenbus_setup_ring() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 18379471554275704832,18379471554275708928,18446612682070032384,18446612682070036480-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->reclaim_sem | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
drivers/mtd/devices/mtdram.c ram_point() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 1-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vmalloc_addr | unit_byte |
| HALF_LOCKED2 | &f->sem |
drivers/mtd/devices/mtdram.c ram_point() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 4096-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vmalloc_addr | unit_byte |
| HALF_LOCKED2 | &f->sem |
drivers/video/fbdev/udlfb.c dlfb_ops_mmap() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vmalloc_addr | unit_byte |
| LOCK2 | &info->mm_lock | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct fb_info)->mm_lock |
arch/x86/kernel/ldt.c map_ldt_struct() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 1-u64max |
| PARAM_VALUE | 0 | *vmalloc_addr | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vmalloc_addr | unit_byte |
| HALF_LOCKED2 | &mm->context.ldt_usr_sem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &old_mm->context.lock | ||
| HALF_LOCKED2 | &old_mm->mmap_lock |
arch/x86/coco/sev/core.c __set_pages_state() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 0-18446744073709551614 |
| CAPPED_DATA | 0 | vmalloc_addr | 1 |
| CAPPED_DATA | 0 | vmalloc_addr | 1 |
| DATA_SOURCE | 0 | vmalloc_addr | $1 [m] |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vmalloc_addr | unit_byte |
| HALF_LOCKED2 | global &mem_enc_lock |
arch/x86/virt/vmx/tdx/seamldr.c populate_pa_list() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | *vmalloc_addr | 0-255 |
| LOCK2 | &pool->lock |
drivers/video/fbdev/smscufx.c ufx_ops_mmap() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vmalloc_addr | unit_byte |
| LOCK2 | &info->mm_lock | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct fb_info)->mm_lock |
arch/x86/hyperv/hv_init.c hv_cpu_init() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 1-u64max |
| BUF_SIZE | 0 | vmalloc_addr | 4096,u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
arch/x86/hyperv/hv_init.c hv_resume() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &acpi_scan_lock | ||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | irq |
arch/x86/hyperv/hv_init.c hyperv_init() -> vmalloc_to_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmalloc_addr | 1-u64max |
| BUF_SIZE | 0 | vmalloc_addr | 4096 |
| BUF_SIZE | 0 | vmalloc_addr | 4096 |
| DATA_SOURCE | 0 | vmalloc_addr | r __vmalloc_node_range_noprof |