Defined in 1 files as a macro:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

mm/madvise.c get_untagged_addr() -> __untagged_addr()

Type Parameter Key Value
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 addr
UNITS 0 addr unit_byte

mm/msync.c __do_sys_msync() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/msync.c __do_sys_msync() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mmap.c __do_sys_munmap() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mmap.c __do_sys_munmap() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mseal.c __do_sys_mseal() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mseal.c __do_sys_mseal() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

drivers/tee/tee_shm.c register_shm_helper() -> __untagged_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-18446744073709547520
FUZZY_MAX 0 addr 18446744073709547520
HARD_MAX 0 addr 18446744073709547520
UNITS 0 addr unit_byte

fs/proc/task_mmu.c pagemap_scan_get_args() -> __untagged_addr()

Type Parameter Key Value
USER_DATA 0 addr 0-u64max
UNITS 0 addr unit_byte

fs/proc/task_mmu.c pagemap_scan_get_args() -> __untagged_addr()

Type Parameter Key Value
USER_DATA 0 addr 0-u64max
UNITS 0 addr unit_byte

fs/proc/task_mmu.c pagemap_scan_get_args() -> __untagged_addr()

Type Parameter Key Value
USER_DATA 0 addr 0-u64max

mm/mprotect.c do_mprotect_pkey() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mremap.c __do_sys_mremap() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mremap.c __do_sys_mremap() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

drivers/gpu/drm/radeon/radeon_gem.c radeon_gem_userptr_ioctl() -> __untagged_addr()

Type Parameter Key Value
USER_DATA 0 addr 0-u64max[u]

kernel/entry/syscall_user_dispatch.c task_set_syscall_user_dispatch() -> __untagged_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
DATA_SOURCE 0 addr $4

drivers/infiniband/hw/mlx4/mr.c mlx4_get_umem_mr() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 0-u64max

mm/mincore.c __do_sys_mincore() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mincore.c __do_sys_mincore() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/gup.c gup_fast_fallback() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
NOSPEC 0 addr
NOSPEC 0 addr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 0-u64max
UNITS 0 addr unit_byte

drivers/gpu/drm/amd/amdgpu/amdgpu_gem.c amdgpu_gem_userptr_ioctl() -> __untagged_addr()

Type Parameter Key Value
USER_DATA 0 addr 0-u64max[u]

drivers/gpu/drm/amd/amdgpu/amdgpu_amdkfd_gpuvm.c amdgpu_amdkfd_gpuvm_alloc_memory_of_gpu() -> __untagged_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
USER_DATA 0 addr 1-u64max[u]
LOCK2 &p->mutex
TYPE_LOCK (struct kfd_process)->mutex

mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mempolicy.c kernel_get_mempolicy() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $3
USER_DATA 0 addr 0-u64max

mm/mempolicy.c kernel_mbind() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

drivers/media/common/videobuf2/frame_vector.c get_vaddr_frames() -> __untagged_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,4096-u64max
DATA_SOURCE 0 addr $0
BIT_INFO 0 addr 0x0,0xfffffffffffff000
BIT_INFO 0 addr 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdev->req_queue_mutex
HALF_LOCKED2 vb->vb2_queue->lock

mm/mlock.c __do_sys_munlock() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mlock.c __do_sys_munlock() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

mm/mlock.c do_mlock() -> __untagged_addr()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
USER_DATA 0 addr 0-u64max

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_set_memory_region() -> __untagged_addr()

Type Parameter Key Value
BIT_INFO 0 addr 0x0,0xfffffffffffff000
BIT_INFO 0 addr 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 0-u64max
UNITS 0 addr unit_byte
HALF_LOCKED2 _T->lock