Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/v3d/v3d_irq.c v3d_overflow_mem_work() -> v3d_mmu_flush_all()

Type Parameter Key Value
PARAM_VALUE 0 v3d 4096-ptr_max
PARAM_VALUE 0 v3d->drm.driver 4096-ptr_max
PARAM_VALUE 0 v3d->drm.huge_mnt 0,4096-ptr_max
PARAM_VALUE 0 v3d->drm.huge_mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 v3d->drm.huge_mnt->mnt_sb->s_fs_info->mpol->refcnt.counter s32min-s32max
PARAM_VALUE 0 v3d->drm.huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-1)
PARAM_VALUE 0 v3d->drm.huge_mnt->mnt_sb->s_fs_info->stat_lock.owner_cpu 4294967295
PARAM_VALUE 0 v3d->drm.huge_mnt->mnt_sb->s_fs_info->stat_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 v3d->queue 4096-ptr_max
PARAM_VALUE 0 *v3d->drm->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-4611686018427387904)-4611686018427387903
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/v3d/v3d_mmu.c v3d_mmu_insert_ptes() -> v3d_mmu_flush_all()

Type Parameter Key Value
PARAM_VALUE 0 v3d 4096-ptr_max
DATA_SOURCE 0 v3d r to_v3d_dev
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file_priv->prime.lock

drivers/gpu/drm/v3d/v3d_mmu.c v3d_mmu_remove_ptes() -> v3d_mmu_flush_all()

Type Parameter Key Value
PARAM_VALUE 0 v3d 4096-ptr_max
DATA_SOURCE 0 v3d r to_v3d_dev