Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 34 files:

Smatch caller information:

drivers/video/fbdev/uvesafb.c uvesafb_probe() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/uvesafb.c uvesafb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/gpu/drm/i915/gt/intel_ggtt.c ggtt_cleanup_hw() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/video/fbdev/aty/radeon_base.c radeonfb_pci_unregister() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/amdgpu_object.c amdgpu_bo_fini() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &drm_unplug_srcu
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 global &xenwatch_mutex

drivers/gpu/drm/nouveau/nvkm/subdev/pci/agp.c nvkm_agp_dtor() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->mutex
HALF_LOCKED2 global &nv_devices_mutex

drivers/video/fbdev/s3fb.c s3_pci_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/vt8623fb.c vt8623_pci_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/kyro/fbdev.c kyrofb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/gbefb.c gbefb_probe() -> arch_phys_wc_del()

Type Parameter Key Value
PARAM_VALUE 0 handle (-38),(-28),(-22),(-19),(-6),0,1000-1255
CAPPED_DATA 0 handle 1
DATA_SOURCE 0 handle r arch_phys_wc_add
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/gbefb.c gbefb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/video/fbdev/vesafb.c vesafb_destroy() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/video/fbdev/vesafb.c vesafb_probe() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/savage/savagefb_driver.c savage_unmap_video() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/pm2fb.c pm2fb_probe() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/pm2fb.c pm2fb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/nvidia/nvidia.c nvidiafb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/riva/fbdev.c rivafb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/nouveau/nouveau_ttm.c nouveau_ttm_fini() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/radeon/radeon_object.c radeon_bo_fini() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/sis/sis_main.c sisfb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/aty/aty128fb.c aty128_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/devres.c devm_arch_phys_ac_add_release() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &pool->lock

drivers/video/fbdev/matrox/matroxfb_base.c matroxfb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/radeon/radeon_kms.c radeon_driver_unload_kms() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/gxt4500.c gxt4500_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/neofb.c neo_unmap_video() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/aty/atyfb_base.c aty_init() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/aty/atyfb_base.c atyfb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/pci/ivtv/ivtvfb.c ivtvfb_release_buffers() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &tracepoints_mutex

drivers/video/fbdev/arkfb.c ark_pci_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/pm3fb.c pm3fb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/myricom/myri10ge/myri10ge.c myri10ge_probe() -> arch_phys_wc_del()

Type Parameter Key Value
PARAM_VALUE 0 handle (-38),(-28),(-22),(-19),(-6),0,1000-1255
CAPPED_DATA 0 handle 1
DATA_SOURCE 0 handle r arch_phys_wc_add
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/myricom/myri10ge/myri10ge.c myri10ge_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/i740fb.c i740fb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/amdgpu_device.c amdgpu_device_unmap_mmio() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/tdfxfb.c tdfxfb_probe() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/tdfxfb.c tdfxfb_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/sm750fb/sm750.c lynxfb_pci_remove() -> arch_phys_wc_del()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL